在C++中，哪个特性允许在编译时检查类型是否满足特定条件？