is_nothrow_copy_assignable クラス (STL)

 

代入時に例外がスローされない型であるかどうかをテストします。

構文

template<class Ty>
    struct has_nothrow_assign;

パラメーター

• Ty
  照会する型。

解説

型 Ty が nothrow コピー代入演算子を持つ場合、型述語のインスタンスは true を保持します。それ以外の場合は、false を保持します。

nothrow 関数は、空の throw 指定子を持つ関数です。つまり、例外がスローされないことをコンパイラが何かの手段で判断できる関数です。

 

// std_tr1__type_traits__has_nothrow_assign.cpp 
// compile with: /EHsc 
#include <type_traits> 
#include <iostream> 

struct trivial 
    { 
    int val; 
    }; 

struct throws 
    { 
    throws() throw(int) 
        { 
        } 

    throws(const throws&) throw(int) 
        { 
        } 

    throws& operator=(const throws&) throw(int) 
        { 
        } 

    int val; 
    }; 

int main() 
    { 
    std::cout << "has_nothrow_assign<trivial> == " << std::boolalpha 
        << std::has_nothrow_assign<trivial>::value << std::endl; 
    std::cout << "has_nothrow_assign<throws> == " << std::boolalpha 
        << std::has_nothrow_assign<throws>::value << std::endl; 

    return (0); 
    } 

has_nothrow_assign<trivial> == true
has_nothrow_assign<throws> == false

必要条件

ヘッダー: <type_traits>

名前空間: std

参照

<type_traits>