可选地支持模板的initializer_list构造，或者包装容器

Question

如果我有一个包装标准容器的模板，我似乎可以很容易地委托initializer_list构造函数：

template<typename T>
struct holder {
    T t_;

    holder() :
        t_() {}

    holder(std::initializer_list<typename T::value_type> values)
        : t_(values) {}

};

例如，这适用于std::向量。

int main(int argc, char* argv[]) {

    holder<std::vector<int>> y{1,2,3};
    return EXIT_SUCCESS;
}

但是很明显，它不适用于T作为“int”，或者任何其他没有嵌套value_typetypedef的类型。所以，我想使用某种enable_if或类似的技巧来使initializer_list构造函数不被发出，除非T都定义了嵌套value_typetypedef，并且可以从std::initializer_list构造。

我尝试了以下方法，但它仍然不起作用，因为编译器（在我的例子中为clang 3.1）在T为int时仍然跳过无效的T::value_type：

holder(typename std::enable_if<std::is_constructible<T, std::initializer_list<typename T::value_type>>::value, std::initializer_list<typename T::value_type>>::type values)
    : t_(values) {}

关于如何表达概念的任何想法“在T上给这个模板一个Tvalue_type上的初始化列表构造函数，当且仅当T有一个value_typetypedef并且可以从T的initializer_list构造::value_type”。

Answer 1

SFINAE仅适用于模板参数替换（因此SFINAE中的S）。以下工作：

template<typename T>
struct holder {
    T t_;

    holder() :
        t_() {}

    template<typename U = T>
    holder(typename std::enable_if<std::is_constructible<U, std::initializer_list<typename U::value_type>>::value, 
    std::initializer_list<typename U::value_type>>::type values)
    : t_(values) {}

};

如果您没有使用模板函数，那么整个类将被实例化为int类型（在您的示例中），从而导致编译器错误。

请注意，如果您使用额外的模板参数，您可以使函数签名更好：

template<typename U = T, class = typename std::enable_if<std::is_constructible<U, std::initializer_list<typename U::value_type>>::value, bool>::type>
    holder(std::initializer_list<typename U::value_type> values)
    : t_(values) {}