c++ - 是否有其他类型的 void_t 的标准概括？

Question

在 C++17 中，我们有 std::void_t，这让 SFINAE 看起来更漂亮:

template <typename T>
std::void_t<decltype(T::prop)> foo() { /* stuff */ }

只有 T::prop 存在，模板函数才会存在。

如果 T::prop 存在，模板函数 foo() 将等同于:

template <typename T>
void foo() { /* stuff */ }

否则，代码相当于根本没有声明foo()。

对于标准库中的其他类型，std::void_t 是否有任何泛化，例如:

template<typename T, typename...>
using generic_t = T;

以便下面的代码有效？

template <typename T>
std::generic_t<int, decltype(T::prop)> foo() { /* stuff */ }

相当于

template <typename T>
int foo() { /* stuff */ }

如果 T::prop 存在？

Answer 1

为什么您需要这样的概括？ void_t 有点特别，因为它可以帮助您轻松编写类型特征，因为您可以拥有一个默认为 void 的主要类型和一个使用 void_t 的特化。例如:

template <class T, class = void>
struct has_prop : std::false_type { };

template <class T>
struct has_prop<T, std::void_t<decltype(T::prop)>> : std::true_type { };

并不是说 void 有什么特别之处，您只需要在主要和特化之间达成一些一致的类型。

void_t 如果您只是直接在 SFINAE 中使用它，则意义不大。您可以将表达式粘贴到其他地方:

template <typename T, class = decltype(T::prop)>
void foo() { /* stuff */ }

此时返回类型与您正在检查的条件完全不同，所以如果您想要 int:

template <typename T, class = decltype(T::prop)>
int foo() { /* stuff */ }