Необъявленный идентификатор в шаблоне функции

@zeroclona · Регистрация: 18.04.2017

Студворк — интернет-сервис помощи студентам

Добрый вечер! Пишу простенькую программку, но возникла проблема в коде:

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
using namespace std;
 
template <typename T>
T maxn(const T array[arrS], int arrS)
{
    T max = array[0];
    for (int i = 1; i < arrS; i++)
        if (m[i] > max)
            max = m[i];
    return max; 
}

Почему компилятор утверждает: "arrS: необъявленный идентификатор"?
При этом, если arrS поменять на count, то компилятор перестает возмущаться.

@hoggy · 19.04.2017, 18:31

Сообщение от TheCalligrapher

Я пока не увидел никакого объяснения, кроме непрерывного повторения мантры "из-за отсутствия two-phase name lookup", "из-за отсутствия two-phase name lookup"...

а ведь господин TheCalligrapher чертовски прав!
при детальном изучении вопроса,
лично я пришёл к выводу:
что это баг в компиляторах cl.

рассмотрим такой пример:

C++
1
2
3
4
5
6
7
8
#include <iostream>
using namespace std;
 
// --- нигде не был инстанцирован
template<class T>
    using ololo = T[count];
 
int main(){}

error C2440: 'initializing': cannot convert from 'iterator_traits<_Iter>::difference_type (__cdecl *)(_InIt,_InIt,const _Ty &)' to 'size_t'

однофазный cl так же, как и gcc валидирует синтаксис использования имен,
не зависящих от параметра шаблона,
в объявлении самого шаблона.

тобишь cl пасет "общий синтаксис" объявления шаблона.

так что его "однофазность" здесь не при делах

однако для конструкции вида:

C++
1
2
template <typename T>
T maxn(const T array[count])

такое чувство, cl убедился, что count существует,
и не стал заморачиваться проверкой:
может ли существовать тип данных:

const T[имя-шаблоно-функции]
такое чувство, что просто забил болт.

MrGluck · 19.04.2017, 23:29

Согласен, ещё раз внимательно изучив вопрос, понял что по идее данная ошибка должна отлавливаться на первой фазе, всё-таки count не связан с параметром шаблона. Был не прав.

Спасибо ув. Коту в шляпе за то, что не поддался на общую провокацию и настоял на ошибочном мнении.
Ну просто особенность компилирования VS компилятором, шаблоны, ... ну вы понимаете. Сразу всплывает в голове измыленная тема с отсутствием "two phase lookup". Даже Microsoft по приоритетам исправлений это высоко поставил. У меня это ещё и попало "на злобу дня".

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

MrGluck Форумчанин 8217 / 5048 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	19.04.2017, 23:29
	Согласен, ещё раз внимательно изучив вопрос, понял что по идее данная ошибка должна отлавливаться на первой фазе, всё-таки count не связан с параметром шаблона. Был не прав. Спасибо ув. Коту в шляпе за то, что не поддался на общую провокацию и настоял на ошибочном мнении. Ну просто особенность компилирования VS компилятором, шаблоны, ... ну вы понимаете. Сразу всплывает в голове измыленная тема с отсутствием "two phase lookup". Даже Microsoft по приоритетам исправлений это высоко поставил. У меня это ещё и попало "на злобу дня". 1