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

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

Новые блоги и статьи Все статьи Все блоги /
Рисование бинарного древа до 6-го колена на js, svg. russiannick 17.05.2026 <svg width="335" height="240" viewBox="0 0 335 240" fill="#e5e1bb"> <style> <!]> </ style> <g id="bush"> </ g> </ svg> function fn(){ let rost;/ / высота древа let xx=165,yy=210,w=256;	FSharp: interface of module DevAlt 16.05.2026 Интерфейс модуля F# позволяет управлять доступностью членов, содержащихся в реализации модуля. По-умолчанию все члены модуля доступны: module Foo let x = 10 let boo () = printfn "boo" . . .	Хитросплетение родственных связей пантеона греческих богов. russiannick 14.05.2026 Однооконник, позволяющий узреть и изучить отдельных героев древней Греции. <!DOCTYPE html> <html lang="ru"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible". . .	[golang] Угол между стрелками часов alhaos 12.05.2026 По заданным значениям часа и минуты необходимо определить значение меньшего угла между стрелками аналогового циферблата часов. import "math" func angleClock(hour int, minutes int) float64 { . . .
Debian 13: Установка Lazarus QT5 ВитГо 09.05.2026 Эта инструкция моя компиляция инструкций volvo https:/ / www. cyberforum. ru/ blogs/ 203668/ 10753. html и его же старой инструкции по установке Lazarus с gtk2. . .	Нейросеть на алгоритме "эстафета хвоста" как перспектива. Hrethgir 06.05.2026 На десерт, когда запущу сервер. Статья тут https:/ / habr. com/ ru/ articles/ 1030914/ . Автор я сам, нейросеть только помогает в вопросах которые мне не известны - не знаю людей которые знали-бы. . .	Асинхронный приём данных из COM-порта Argus19 01.05.2026 Асинхронный приём данных из COM-порта Купил на aliexpress термопринтер QR701. Он оказался странным. Поключил к Arduino Nano. Был очень удивлён. Наотрез отказывается печатать русские буквы. Чтобы. . .	попытка написать игровой сервер на C++ pyirrlicht 29.04.2026 попытка написать игровой сервер на плюсах с открытым бесконечным миром. возможно получится прикрутить интерпретатор питон для кастомизации игровой логики. что есть на текущий момент:. . .

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