Sfinae使得独特

SFINAE make unique

本文关键字：Sfinae      更新时间：2023-10-16

有没有办法检查类型T是否可以使用variadic Template参数构造 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)...));
}

如果您需要一种廉价的方式检查T(Args...)是否以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"。

相关文章：