c++ - 给 nullptr 一个类型来进行模板推导

Question

假设以下片段:

template <class T>
void fct(T* a, T* b){
  // do something
}

A a;
fct(&a, nullptr); // Problem here!

这很麻烦，因为调用参数的类型是 A*和 nullptr_t所以编译器无法推断模板参数 T .

一般来说，我可以想出几种解决方法:

• 定义A* b = nullptr并使用 fct(&a, b)
• 为 fct 定义一个带有一个参数的重载对于 nullptr案例
• 使用fct(&a, static_cast<A*>(nullptr))

或者是否有更简洁的解决方案，例如创建“typed nullptr”之类的东西？

Answer 1

只需将第二个参数设为非推导上下文，例如:

template <class T>
void fct(T* a, std::remove_reference<T*>::type b) {