static_assert.md

コンパイル時アサート

Boost.StaticAssert

定数式の条件によるアサートには、BOOST_STATIC_ASSERTマクロを使用することができる。

BOOST_STATIC_ASSERTマクロを使用するには、<boost/static_assert.hpp>をインクルードする。

インデックス

• 関数にコンパイル時アサートを付ける
• クラスにコンパイル時アサートを付ける

関数にコンパイル時アサートを付ける

#include <iostream>
#include <boost/static_assert.hpp>
#include <boost/type_traits/is_integral.hpp>

template <class T>
void f(const T& x)
{
    // 整数型以外が渡されたらエラーにする
    BOOST_STATIC_ASSERT(boost::is_integral<T>::value);

    std::cout << x << std::endl;
}

int main()
{
    f(1);    // OK
    f('a');  // OK
    f(3.14); // エラー！
}

クラスにコンパイル時アサートを付ける

#include <boost/static_assert.hpp>
#include <boost/type_traits/is_integral.hpp>

template <class T>
struct X {
    // 整数型以外が指定されたらエラー
    BOOST_STATIC_ASSERT(boost::is_integral<T>::value);
};

int main()
{
    X<int> a;    // OK
    X<char> b;   // OK
    X<double> c; // エラー！
}