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友好的有效表达式，那么可以考虑通过尾部返回类型使用表达式SFINAE。

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

}

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