Question

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

template<typename T>
struct holder {
    T t_;

    holder() :
        t_() {}

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

};

例如，这与std :: vector很好地配合使用。

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

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

但很明显，T不能用作'int'，或者没有嵌套的value_type typedef的任何其他类型。所以，我想使用某种enable_if或类似技巧来使initializer_list构造函数不被发出，除非T都定义了嵌套的value_type typedef，并且可以从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的初始化列表构造函数上，而不是T的value_type，当且仅当T具有value_type typedef且可从T :: value_type的initializer_list构造时”。

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) {}

可选地支持模板的initializer_list构造可能包装容器

1 个答案: