C++ 类模板可以通过使用 static_assert 和 std::is_same 等类型萃取器来实现类型安全。
下面是一个简单的示例,演示了如何使用 static_assert 和 std::is_same 来实现类型安全的类模板:
template <typename T>
class MyClass {
public:
MyClass(T value) : value_(value) {}
void printValue() const {
static_assert(std::is_same<T, int>::value, "T must be int");
std::cout << "Value: " << value_ << std::endl;
}
private:
T value_;
};
int main() {
MyClass<int> intObj(42);
intObj.printValue(); // 输出 "Value: 42"
// 下面这行代码会导致编译错误,因为 T 不是 int
// MyClass<double> doubleObj(3.14);
return 0;
}
在这个示例中,我们定义了一个名为 MyClass 的类模板,它接受一个类型参数 T。我们在构造函数中使用 static_assert 和 std::is_same 来确保 T 只能是 int 类型。如果 T 不是 int 类型,编译器将生成一个编译错误。
这种方法可以确保在编译时捕获类型错误,从而提高代码的类型安全性。