为什么std :: initializer_list不支持std :: get <>，std :: tuple_size和std :: tuple_element

Question

为什么std::initializer_list不支持std::get<> ， std::tuple_size和std::tuple_element ？ 就像现在一样，它在constexpr表达式中经常使用，例如，

std::max({1, 2, 3, 4, 5});

如果这样做确实很酷，则可能发生以下情况

auto [x, y] = {1, 2};

那么为什么std::initializer_list不支持这些？ 据我所知，在运行时无法构造std::initializer_list ，因此大小始终由用户确定。

---

下面是一个示例，说明如何在编译时获取std::intializer_list<>的大小

#include <iostream>
#include <initializer_list>

using std::cout;
using std::endl;

template <typename...>  struct WhichType;

template <typename Type>
constexpr int size_init_list(std::initializer_list<Type> il) {
    return il.end() - il.begin();
}

int main() {
    constexpr auto size = size_init_list({1, 2, 3});
    cout << static_cast<int>(std::integral_constant<int, size>{}) << endl;
    return 0;
}

Answer 1

即使std::initializer_list的大小是编译时常量，该大小也不是该类型的一部分。 每个int的初始化列表具有相同的类型，即std::initializer_list<int> 。 而且std::tuple_size<std::initializer_list<int>>::value只能有一个可能的值。 因此很显然，它不能用于获取初始化程序列表的实际大小。 完全没有定义它是没有意义的。