http://boost.org/doc/html/boost_staticassert.html コンパイル時に、型変数の値チェックとかできる。 かなり便利かも。 #include <iterator> #include <boost/static_assert.hpp> #include <boost/type_traits.hpp> template <class RandomAccessIterator > RandomAccessIterator foo(RandomAccessIterator from, RandomAccessIterator to) { // this</class></boost/type_traits.hpp></boost/static_assert.hpp></iterator>…