Ruft std :: min auf einer leeren Initialisierungsliste auf (und spezifiziert explizit den Typ) undefiniertes Verhalten?

Question

Aufruf von std::min() mit einer leeren Initialisierungsliste wird normalerweise nicht kompiliert (alle Fragen können für auf die gleiche Weise angegeben werden). Dieser Code:

#include <iostream> 
#include <algorithm> 

int main() { 
    std::cout << std::min({}) << "\n"; 
    return 0; 
} 

Mit Klirren gibt diesen Fehler:

test.cpp:6:17: error: no matching function for call to 'min' 
    std::cout << std::min({}) << "\n"; 
       ^~~~~~~~ 
algorithm:2599:1: note: 
     candidate template ignored: couldn't infer template argument '_Tp' 
min(initializer_list<_Tp> __t) 

Ich kann sehen, warum dieser Fall würde nicht erlaubt sein, weil es schwierig ist, auf einem vernünftigen Wert zu vereinbaren, in diesem Fall zurück .

Allerdings kompiliert der Code technisch nicht nur, weil der Vorlagenparameter nicht abgeleitet werden kann. Wenn ich die Parameter erzwingen der Code kompiliert, aber ich bekomme einen Absturz:

#include <iostream> 
#include <algorithm> 

int main() { 

    std::cout << std::min<int>({}) << "\n"; 

    return 0; 
} 

$ clang++ -std=c++11 test.cpp -o test 
$ ./test 
Segmentation fault: 11 

Es scheint der Absturz tritt auf, weil std::min() in Bezug auf std::min_element() implementiert ist, und eine leere Initialisiererliste führt in die Dereferenzierung eines ungültigen end() Iterator.

So ist dieses Stück Code undefiniertes Verhalten unter C++ 11/C++ 14? Wird std::min() angegeben, dass es nicht kompiliert wird, wenn es ohne explizite Template-Parameter aufgerufen wird? Wird std::min() spezifiziert in Bezug auf std::min_element()?

Answer 1

Ja, es ist UB. Wie pro C++ 14 (n4140) 25.4.7/4:

template <class T> 
constexpr T min(initializer_list<T> t); 

...

4 Requires:T is LessThanComparable and CopyConstructible and t.size() > 0.

(Emphasis Mine)

dieselbe Formulierung ++ in C 11 als auch anwesend ist.