Confused o niejawny szablonu konkretyzacji

Question

To stwierdzenie od standardowej C++ 03, §14.7.1p5:

Jeśli proces rozdzielczości przeciążenie może określić prawidłową funkcję zadzwonić bez instancji definicję klasy szablonu , to jest nieokreślone, czy ta instancja faktycznie ma miejsce. [przykład:

template <class T> struct S { 
     operator int(); 
}; 

void f(int); 
void f(S<int>&); 
void f(S<float>); 

void g(S<int>& sr) { 
     f(sr);  // instantiation of S<int> allowed but not required 
        // instantiation of S<float> allowed but not required 
}; 

- przykład koniec]

mogę zrozumieć ten punkt. Czy ma niezdefiniowane zachowanie?

Znalazłem inny similar problem, którego również nie rozumiem. Wyjaśniono, że prawidłowe zachowanie jest niezdefiniowane, ale co to znaczy?

tutaj: MSVC: Implicit Template Instantiation, though templated constructor not used

Answer 1

Podczas rozdzielczości przeciążenia stwierdzenia, że ​​prawidłowa funkcja zadzwonić kiedy piszesz f(sr) jest void f(S<int>&); bez wyraźnie instancji definicję klasy szablonu S jest nieokreślona, ​​czy klasa jest faktycznie instancja.

Niezdefiniowane zachowanie i Nieokreślone zachowanie to dwie zupełnie różne rzeczy.

instancji od S < Int> możliwe, ale nie jest wymagane

Na przykład

template <class T =int> 
struct S 
{ 
    operator int(); 
}; 

jest możliwe, ale nie jest wymagane.

Answer 2

Nieokreślony oznacza, że ​​

1. to do kompilatora, czy będzie to faktycznie instancję szablonie klasy czy nie i
2. projektantów kompilatora musi wybrali jakąś strategię w przypadku takich sytuacji i projektantów kompilatorów nie jest wymagane udokumentowanie ich wyboru.

W każdym razie jest to poprawne zachowanie w przeciwieństwie zachowanie niezdefiniowane co jest błędne zachowanie. Szczegółowe objaśnienie można znaleźć w this related question.