在C++中使用std::is_trivially_assignable进行示例

在C++中，我们通常需要判断类型是否满足某些特定要求，比如是否可以进行拷贝或赋值操作。其中，判断一个类型是否可以被trivially assign（也就是是否可以进行平凡的赋值操作）是经常需要用到的一种判断。在这种情况下，我们可以使用std::is_trivially_assignable。

std::is_trivially_assignable的定义和用法

std::is_trivially_assignable是一个模板类，其定义在头文件中。它可以接受两个类型模板参数：T和U。其中，T表示要判断的类型，U表示如果T可以进行赋值操作，那么赋值操作的参数类型。如果T无法赋值，那么U没有意义。

使用std::is_trivially_assignable的语法如下：

template< class T, class U >
struct is_trivially_assignable;

其中，T和U分别为欲检验的类型以及赋值所需的类型形参。

如果T可以被trivially assign，那么is_trivially_assignable<T,U>::value将会被置为true。否则，它会被置为false。可以在if语句中使用is_trivially_assignable<T,U>::value来判断T是否可以被trivially assign。

示例

下面我们通过几个示例来说明std::is_trivially_assignable的用法。

首先，我们定义一个结构体：

struct S {
    int a;
    double b;
};

我们可以使用std::is_trivially_assignable来判断S是否可以被trivially assign。下面的代码演示了如何使用std::is_trivially_assignable进行判断：

#include <iostream>
#include <type_traits>

struct S {
    int a;
    double b;
};

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_trivially_assignable<S,S>::value << std::endl;
    std::cout << std::is_trivially_assignable<S const,S>::value << std::endl;
    std::cout << std::is_trivially_assignable<S,S const>::value << std::endl;
    std::cout << std::is_trivially_assignable<S const,S const>::value << std::endl;
    return 0;
}

输出结果为：

true
false
false
false

我们可以看到，S可以被trivially assign。因此，std::is_trivially_assignable<S,S>::value被置为true。

接下来，我们再来判断使用内置类型：

#include <iostream>
#include <type_traits>

using namespace std;

int main()
{
    cout<<boolalpha;
    cout<<is_trivially_assignable<int, int>::value<<endl;
    cout<<is_trivially_assignable<int, const int>::value<<endl;
    cout<<is_trivially_assignable<const int, int>::value<<endl;
    cout<<is_trivially_assignable<const int, const int>::value<<endl;
    return 0;
}

输出结果为：