std::is_assignable模板在C++中的应用及示例

std::is_assignable 模板在C++ STL中，位于 < type_traits>头文件。它用于检查类型为B的值是否能被分配到类型为A的对象中，并返回布尔值true或false。以下是该模板的语法：

头文件：

#include <type_traits>

语法：

template <class A, class B> struct is_assignable;

参数：

A：表示接收赋值的对象类型。
B：表示提供值的对象类型。

返回值：

模板 std::is_assignable() 返回布尔值，即true或false。

以下是用于演示 std::is_assignable() 的程序：

程序1：

// C++ program to illustrate
// is_assignable example
  
#include <bits/stdc++.h>
#include <type_traits>
  
using namespace std;
  
struct A {
};
struct B {
    B& operator=(const A&)
    {
        return *this;
    }
};
  
// Driver Code
int main()
{
    cout << boolalpha;
    cout << "is_assignable:" << endl;
    cout << "A = B: "
         << is_assignable<A, B>::value
         << endl;
    cout << "B = A: "
         << is_assignable<B, A>::value
         << endl;
  
    return 0;
}

is_assignable:
A = B: false
B = A: true

程序2：

// C++ program to illustrate
// is_assignable example
  
#include <bits/stdc++.h>
  
#include <type_traits>
  
using namespace std;
  
struct B {
};
struct A {
    A& operator=(const B&)
    {
        return *this;
    }
};
  
// Driver Code
int main()
{
    cout << boolalpha;
    cout << "is_assignable:" << endl;
    cout << "A = B: "
         << is_assignable<A, B>::value
         << endl;
    cout << "B = A: "
         << is_assignable<B, A>::value
         << endl;
  
    return 0;
}