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

@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, то компилятор перестает возмущаться.

@zss · 18.04.2017, 21:15

C++
1
T maxn(const T array[], int arrS)

И можете еще сделать так

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

Конкретизация тогда может быть такая

C++
1
2
int arr[25];
int k=maxn<int,25>(arr);

@zeroclona · 18.04.2017, 21:17 **[ТС]**

Понял, спасибо!
Но почему тогда этот код комплируется без ошибок?

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

@zss · 18.04.2017, 22:02

А это что:

Ошибка 1 error C2065: count: необъявленный идентификатор

@TheCalligrapher · 18.04.2017, 22:08

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

Но почему тогда этот код комплируется без ошибок?

Это где это он "комплируется без ошибок"?

@rikimaru2013 · 18.04.2017, 22:24

Не по теме:

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

Это где это он "комплируется без ошибок"?

Попробовал скопировать себе этот код в блокнот - ошибок нету. Win 10 :p

Croessmah · 18.04.2017, 22:37

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

Это где это он "комплируется без ошибок"?

Например, здесь: http://rextester.com/ACBVC2230
Это следствие одного прохода, который,
обещают исправить в следующих версиях.

@TheCalligrapher · 18.04.2017, 22:43

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

Например, здесь: http://rextester.com/ACBVC2230
Это следствие одного прохода, который,
обещают исправить в следующих версиях.

Не совсем понимаю, о каком одном проходе идет речь. Если бы это было следствием какого-то одного прохода, то и исходный вариант с arrS компилировался бы. А он не компилируется.

Эксперимент показывает, что вариант с count компилируется потому, что компилятор расценивает его как ссылку на std::count. Это бессмысленно, но ситуацию каким-то извращенным образом спасает. С именем второго параметра это никак не связано.

@hoggy · 18.04.2017, 23:31

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

Эксперимент показывает, что вариант с count компилируется потому, что компилятор расценивает его как ссылку на std::count. Это бессмысленно, но ситуацию каким-то извращенным образом спасает.

что это за эксперимент такой?

ни жосиси, ни шланг это не едят.
или вы исходите из достоверности показаний тс?

@TheCalligrapher · 18.04.2017, 23:39

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

что это за эксперимент такой?

Я поигрался с исходным примером по ссылке (http://rextester.com/ACBVC2230) и вижу, что оно каким-то волшебным образом компилирует варианты

C++
1
2
3
4
5
6
7
8
template <typename T>
T maxn(const T array[count], int n)
 
template <typename T>
T maxn(const T array[flush], int n)
 
template <typename T>
T maxn(const T array[ends], int n)

и тому подобное.

А если убрать шаблонность

C++
1
2
3
4
5
6
7
8
int maxn(const int array[count], int count)
{
    int max = array[0];
    for (int i = 1; i < count; i++)
        if (m[i] > max)
            max = m[i];
    return max; 
}

то на строчку int max = array[0]; лезет какая-то странная ругань вида

Code
1
error C2440: 'initializing': cannot convert from 'const int [iterator_traits<_Iter>::difference_type std::count(_InIt,_InIt,const _Ty &)]' to 'int'

из чего я и сделал вывод, что этот count воспринимается как std::count.

И я говорю о глюках конкретного компилятора. "Жосиси и шланг" ту ни при чем.

@hoggy · 18.04.2017, 23:41

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

Я поигрался с исходным примером по ссылке (http://rextester.com/ACBVC2230)

так там жеж каель студийный.
он однопроходный.

@TheCalligrapher · 18.04.2017, 23:45

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

так там жеж каель студийный.

Непереводимая игра слов на местном наречии?

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

он однопроходный.

Уже второй раз упоминается какая-то "однопроходность". Что за "однопроходность" имеется в виду к чему она здесь - мне в упор не ясно.

@hoggy · 19.04.2017, 00:14

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

Непереводимая игра слов на местном наречии?

каель - cl
так называются студийные компиляторы

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

Что за "однопроходность" имеется в виду к чему она здесь - мне в упор не ясно.

Почему компилируется не объявленная переменная в шаблоне?

@TheCalligrapher · 19.04.2017, 00:31

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

Почему компилируется не объявленная переменная в шаблоне?

Что-то какая-то каша наблюдается.

Во-первых, видимо речь идет о "two-phase lookup". Однако переводить это как "двухпроходность" несколько странно. Для реализации правильного поведения совсем не обязательно делать какие-то множественные "проходы". Также спецификация языка вообще ничего не знает ни про какой "two-phase lookup", а определяет правильное поведение несколько иными методами.

Во-вторых, пример по ссылке связан с особенностями name lookup в dependent базовых классах. Но это - совершенно отдельная тема, которая не имеет вообще никакого отношения к two-phase lookup. Или имеет? В общем, это зависит от того, что включать в тему two-phase lookup, а что нет.

MrGluck · 19.04.2017, 11:37

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

и вижу, что оно каким-то волшебным образом компилирует варианты

Это известная бага VS, связанная с "two-phase lookup".

Как ответил на вопрос "когда это исправят в VS" Гор Нишанов (представитель Microsoft) на последней встрече Яндекса по С++, "надо писать сразу правильно"

Добавлено через 4 минуты
https://docs.microsoft.com/en-... onformance

Two-phase name lookup
Supported: No

@TheCalligrapher · 19.04.2017, 12:49

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

Это известная бага VS, связанная с "two-phase lookup".

Я прекрасно знаю, что ныненшняя версия компилятора не поддерживает two-phase lookup. Но в упор не вижу, каким образом вы объясняете наблюдаемое поведение через two-phase lookup. Как я показал выше, "странная" интерпретация [count] в параметрах функции имеет место и в нешаблонном коде. При чем здесь вообще two-phase lookup?

MrGluck · 19.04.2017, 13:09

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

Но в упор не вижу, каким образом вы объясняете наблюдаемое поведение через two-phase lookup.

Ну так компилятор от VS пропускает места, связанные с подстановкой имён для типов, связанных с параметром шаблона или входных параметров. Таким образом, в первой "фазе" проверяется лишь что имя count вообще существует (привет using namespace std) и код успешно компилируется. А был бы нормально реализован two-phase lookup, можно было бы без инстанцирования выявить ошибку с подстановкой count.

@TheCalligrapher · 19.04.2017, 13:14

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

Ну так компилятор от VS пропускает места, связанные с подстановкой имён для типов, связанных с параметром шаблона или входных параметров.

И каким же образом имя count в моем примере "связано с параметром шаблона или входными параметрами"? Обратите внимание, что имя arrS там же вызывает ошибку сразу.

MrGluck · 19.04.2017, 13:18

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

И каким же образом имя count в моем примере "связано с параметром шаблона или входными параметрами"?

Я прокомментировал код с шаблонами и конкретно строчку

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

и вижу, что оно каким-то волшебным образом компилирует варианты

Да, здесь помимо прочего count воспринимается как std::count. Но именно из-за отсутствия two-phase name lookup код с count компилируется. И это объяснение ТС-у на

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

При этом, если arrS поменять на count, то компилятор перестает возмущаться.

@TheCalligrapher · 19.04.2017, 17:18

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

Да, здесь помимо прочего count воспринимается как std::count. Но именно из-за отсутствия two-phase name lookup код с count компилируется. И это объяснение ТС-у на

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

Новые блоги и статьи Все статьи Все блоги /
Отчёт о спецтехнике находящейся в ремонте Maks 20.04.2026 Отчёт из решения ниже размещен в конфигурации КА2. Задача: отобразить спецтехнику, которая на данный момент находится в ремонте. Есть нетиповой документ "Заявка на ремонт спецтехники" который. . .	Памятка для бота и "визитка" для читателей "Semantic Universe Layer (Слой семантической вселенной)" Hrethgir 19.04.2026 Сгенерировано для краткого описания по случаю сборки и компиляции скелета серверного приложения. И пусть после этого скажут, что статьи сгенерированные AI - туфта и не интересно. И это не реклама -. . .	Запрет удаления строк ТЧ документа при определенном условии Maks 19.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "Аккумуляторы", разработанного в конфигурации КА2. У данного документа есть ТЧ, в которой в зависимости от прав доступа. . .	Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .
Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .

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

Решение