add constexpr doc and test code