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

@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 по приоритетам исправлений это высоко поставил. У меня это ещё и попало "на злобу дня".

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .

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