SFINAE 独树一帜

Question

有没有办法检查类型 T 是否可以使用可变参数模板参数包 Args... 构造？我不关心解决方案是否有效我只想在调试模式下使用 SFINAE 或 static_assert。

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

对于其他感兴趣的人，这个解决方案在 C++ 11 中对我有用

template<typename T, typename... Args>
auto make_unique(Args&&... args) -> decltype(std::unique_ptr<T>(new T(std::forward<Args>(args)...)))
{
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

Answer 1

如果您需要一种廉价的方法来检查 T(Args...) 是否是 SFINAE 友好方式的有效表达式，请考虑使用 expression SFINAE 通过 尾随return类型:

template <typename T, typename... Args>
auto foo(Args&&... args) 
    -> decltype(T(std::forward<Args>(args)...), void())
{

}

如果 T(std::forward<Args>(args)...) 不是有效表达式，

foo 将是 "SFINAEd-out"。

SFINAE 独树一帜

SFINAE make unique

c++

templates

unique-ptr

c++11