Вызывает std :: min в пустом списке инициализаторов (и явно указывая тип) неопределенное поведение?

Question

Вызов std::min() с пустым списком инициализаторов обычно не компилируется (все вопросы могут быть указаны одинаково для std::max()). Этот код:

#include <iostream> 
#include <algorithm> 

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

С лязгом дает эту ошибку:

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) 

Я могу понять, почему этот случай не будет разрешен, потому что трудно договориться о разумной стоимости, чтобы вернуться в этом случае ,

Однако технически говоря, код не компилируется только потому, что параметр шаблона не может быть выведен. Если я заставляю параметр код компилируется, но я получаю аварию:

#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 

Кажется, возникает сбой, потому что std::min() реализуется в терминах std::min_element() и пустой список инициализатора приводит к разыменованию недействительной end() итератора.

Так что это фрагмент кода неопределенного поведения в C++ 11/C++ 14? Является ли std::min() заявленным не компилировать при вызове без явных параметров шаблона? Является ли std::min() указанным для использования в терминах std::min_element()?

Answer 1

Да, это UB. В соответствии с С ++ 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.

(выделено мной)

То же формулировка присутствует в C++ 11, а также.