Приводит ли вызов зависимой функции, которая еще не была объявлена ​​в момент определения шаблона, к тому, что программа ⇐ C++

[Anonymous]

Предполагая, что вы используете последний стандарт C++, рассмотрите следующее:

Код: Выделить всё

template
void foo(T t){ fuu(); }

template
void fuu(){}

int main() {
foo(5L);
}

LIVE
Эта программа IFNDR или просто неправильно сформирована? Я был бы признателен, если бы смог получить здесь подробное описание того, что говорит стандарт.
Я сам пробовал читать соответствующие параграфы, но все еще не до конца уверен. Это выглядит IFNDR в соответствии с [temp.dep.candidate]... по крайней мере, насколько я понимаю.
Причина, по которой мне интересно, заключается в том, что GCC и clang выдают ошибку, а MSVC - нет. 't (даже при использовании флага /permissive-), и я хочу знать, соответствует ли последний.
Вот, например, ошибка gcc:

ошибка: у «fuu» нет аргументов, зависящих от параметра шаблона, поэтому должно быть доступно объявление «fuu» [-fpermissive]


Подробнее здесь: https://stackoverflow.com/questions/792 ... e-point-of