我观看了沃尔特·布朗在Cppcon14上关于现代模板编程(,)的演讲,他在会上介绍了他的void_t SFINAE技术。示例:template< class ... > using void_t = void;
以及下面的特征,该特征检查名为as has_member< T , void > or discarded (sfi
假设我不想写一个概念(或者我的编译器不支持它们),并且没有匹配的类型特征,是否有非void_t的方法来检查我是否可以用参数B和C构造A?注意:这是一个toy example,真正的问题是除了概念之外,void_t仍然是检查在C++20中编译的东西的最好方法吗?false_type {};
template <typename A, typename B, typename C