Sollte die Adresse einer Templatisierten Funktion die Kompilation auslösen?

Question

Ich habe eine offizielle Antwort auf this question, die decltype sollte nicht Triggerfunktion Kompilierung. Tatsächlich ist decltype für eine Funktion, die deklariert, aber nicht definiert ist, legal.

Nächste Frage, sollte unter der Adresse einer Funktion die Erstellung einer Funktion auslösen? Nehmen this example:

template <typename T> 
void foo(T&& x) { x.func(); } 

int main() 
{ 
    auto bar = &foo<int>; 
} 

All Compiler ich getestet habe nicht mit einem Fehler wie:

Antrag auf Mitglied func in x, die int von Nicht-Klasse-Typ ist

Aber wenn ich nur foo definiere und es nicht deklariere, kompiliert der Code gut. Kann mir jemand eine offizielle Quelle geben, ob die Adresse einer Funktion die Kompilierung erfordert?

Answer 1

3,2/2:

Ein Ausdruck ist potentiell ausgewertet, wenn es sich um eine nicht ausgewertete Operand (Ziffer 5) oder ein Unterausdruck davon ist. ... Eine nicht überladene -Funktion, deren Name als potenziell evaluierter Ausdruck oder als Mitglied einer Menge von Kandidatenfunktionen erscheint, wenn durch Überladung Auflösung ausgewählt, wenn von einem potenziell bewerteten Ausdruck ausgegangen wird, ist odr-used , es sei denn, es handelt sich um eine reine virtuelle Funktion und ihr Name ist nicht explizit .

Dann 3.2/3:

Jedes Programm wird genau eine Definition eines jeden nicht-inline Funktion oder Variable enthalten, die in diesem Programm-ODR verwendet wird; keine Diagnose erforderlich. Die Definition explizit im Programm erscheinen kann, kann es in der Standard- oder eine benutzerdefinierte Bibliothek zu finden, oder (wenn angemessen) implizit definiert ist (siehe 12.1, 12.4 und 12.8 ). Eine Inline-Funktion soll in jeder Übersetzungseinheit definiert sein, in der sie verwendet wird.

Der Funktionsname ist auf keinen Fall ein unevaluierten Operanden (zB sizeof, decltype), und es scheint, in einem Ausdruck, so dass es möglicherweise ausgewertet. Dann benötigt der zweite genau eine Nicht-Inline-Definition oder identische Inline-Definitionen in jeder Übersetzungseinheit.