VC10和C++ 0x (3) - static_assert

static_assert

断言（assertion）是提高代码质量的有效武器。C++标准库中的assert, MFC中的ASSERT宏\VERIFY宏都是断言的例子，它们的共同点是在运行时对程序状态进行判断，

例如检查函数的参数有效性，检查类的不变式(invariant)等。而C++ 0x中的静态断言呢，和运行时的断言不一样，它是编译时执行检查的。

看下面的例子：

 

// file: staticfluffykitten.cpp

template <int N> struct Kitten {

static_assert(N < 2, "Kitten<N> requires N < 2.");

};

int main() {

    Kitten<1> peppermint;

    Kitten<3> jazz;

}

 

编译结果：

staticfluffykitten.cpp(2) : error C2338: Kitten<N> requires N < 2.

        staticfluffykitten.cpp(8) : see reference to class template instantiation 'Kitten<N>' being compiled

        with

        [

            N=3

        ]

上面例子中用static_assert对模板参数N进行了检查，如果断言失败编译器将使用用户自定义的错误消息。

熟悉boost库的朋友对static_assert应该很熟悉 - boost提供了BOOST_STATIC_ASSERT宏跟C++ 0x中的static_assert类似，但是BOOST_STATIC_ASSERT没有使用

用户自定义的错误消息。如果BOOST_STATIC_ASSERT失败，编译时会出现类似下面的错误：

Error: use of undefined type 'boost::STATIC_ASSERTION_FAILURE<false>'

 

关于boost中的静态断言，参考boost的文档：http://www.boost.org/doc/libs/1_40_0/doc/html/boost_staticassert.html

Technorati Tags: C++, C++ 0x, boost, static_assert, boost.StaticAssert, BOOST_STATIC_ASSERT