c++ - 了解一个对象是否是整型或者是否是类类型有什么意义呢？

Question

您好，我在 Cppreference.com 上看到过很多这样的例子:

std::is_class<T>
std::is_integral

等等。我知道如果我运行代码，例如我会得到 true 或 false。但这有什么意义呢？例如知道对象是否属于类类型？

#include <iostream>
#include <type_traits>

struct A {};
class B {};
enum class C {};

int main()
{
    std::cout << std::boolalpha;
    std::cout << std::is_class<A>::value << '\n';
    std::cout << std::is_class<B>::value << '\n';
    std::cout << std::is_class<C>::value << '\n';
    std::cout << std::is_class<int>::value << '\n';
}

输出:

true
true
false
false

• 我已经彻底搜索了使用此示例的真实示例(is_class、is_integral、is_arithmetic，...)但所有教程都只展示了无望的例子:只有 true 或 false。

• 有人可以帮助我使用此模板制作一个有用的小示例吗？

Answer 1

这是肯定的，它不是为了写入控制台。

更广泛地说，您会问:类型特征的意义是什么？

答案是模板元编程。例如，我可以创建一个模板专门化，它为整型类型执行一件事，为非整型类型执行另一件事。

亚伦· bool 曼有 a simple introduction to type traits ，就像 Jacek here 一样.

在我看来，这些东西的大多数使用都隐藏在很酷的功能、类和实用程序(即在库中)的实现中，作为使其一切正常工作的后台机制的一部分。

进一步阅读:

• C++ Type Traits
• How do traits classes work and what do they do?

rightfold 对第一个问题的回答给出了一个很好的例子，说明特质何时有用:

For example, an implementation of std::copy may use std::memcpy internally instead of an explicit loop when the iterators are pointers to PODs. This can be achieved with SFINAE.