Hi, how would I ensured that class U of template class is a dervied class of boost::operators<U> using BOOST_STATIC_ASSERT and boost::is_base_of... template <T> myFunc(const T& a) { typedef boost::operators<T> operatorT; BOOST_STATIC_ASSERT(is_integral<T>::value || is_base_of::value); // ... other codes. } doing this gives me an error. arguments, but takes just 1 ./cs512/c++/cppdef/DiffieHellman.cpp: In function `T boost::random_prime(boost:: function, int)': ./cs512/c++/cppdef/DiffieHellman.cpp:23: error: `BOOST_STATIC_ASSERT' was not de clared in this scope ./cs512/c++/cppdef/DiffieHellman.cpp:49:78: macro "BOOST_STATIC_ASSERT" passed 2 arguments, but takes just 1 ./cs512/c++/cppdef/DiffieHellman.cpp: In function `boost::tuples::tuple boost::dh_init(const boost::any&)' : ./cs512/c++/cppdef/DiffieHellman.cpp:49: error: `BOOST_STATIC_ASSERT' was not de clared in this scope ./cs512/c++/cppdef/DiffieHellman.cpp:64:78: macro "BOOST_STATIC_ASSERT" passed 2 arguments, but takes just 1 ./cs512/c++/cppdef/DiffieHellman.cpp: In function `T boost::dh_secret(const T&, const T&, const T&)': ./cs512/c++/cppdef/DiffieHellman.cpp:64: error: `BOOST_STATIC_ASSERT' was not de clared in this scope make[1]: *** [lib/DiffieHellman.o] Error 1 make[1]: Leaving directory `/c/CPW/cs_classes' make: *** [all-before] Error 2