为什么我们可以在 C++ 中拥有类型特征类的实例？

Question

#include <type_traits>

int main()
{
    std::decay<int()> p;
    static_assert(1 == sizeof(p));
    
    std::add_pointer<int> q;
    static_assert(1 == sizeof(q));
}

这是有效的。但是为什么我们需要decay 等实例呢？这使得拼写错误（decay 而不是decay_t 等）更难被发现。这些类不应该有私有或删除的构造函数吗？

Answer 1

为什么不呢？有时有必要创建具有特征的对象，而不允许这样做会给一些人带来问题，而对其他人却没有实质性的好处。

例如，您可以使用特征进行标签调度：

#include <type_traits>
#include <iostream>

void foo(std::false_type) {
    std::cout << "this is the overload for std::false_type";
}
void foo(std::true_type) {
    std::cout << "this is the overload for std::true_type";
}

int main() {
    foo( std::is_same<int,double>{} );
}

调用者和函数都没有实际使用该对象，但必须对其进行实例化才能选择所需的重载。

Answer 2

为什么我们可以在 C++ 中拥有类型特征类的实例？

因为类型特征是类模板，并且类可以被实例化，除非它们的构造函数被删除。

事实上，Cpp17UnaryTypeTrait 和 Cpp17BinaryTypeTrait 是必需的/保证是 Cpp17DefaultConstructible。 Cpp17TransformationTrait 似乎没有这个要求/保证。