c++ - SFINAE 独树一帜

Question

有没有办法检查类型 T 是否可以使用可变参数模板参数包 Args... 构造？我不关心解决方案是否有效，我只想在 Debug模式下使用 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 友好方式的有效表达式，请考虑通过尾随返回类型使用表达式 SFINAE:

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

}

foo如果 T(std::forward<Args>(args)...) 将被“SFINAEd-out”不是有效的表达式。