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

[Anonymous]

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

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

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

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

Эта программа IFNDR или просто неправильно сформирована? Я был бы признателен, если бы смог получить здесь подробное описание того, что говорит стандарт.
Я сам пробовал читать соответствующие параграфы, но все еще не до конца уверен. Это выглядит IFNDR в соответствии с [temp.dep.candidate]... по крайней мере, насколько я понимаю.
Причина, по которой мне интересно, заключается в том, что GCC и clang, похоже, выдают ошибку, а MSVC этого не делает, и я хочу знать, соответствует ли последний.

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