具有默认值的指针参数的类模板

Question

我试图理解下面的代码片段

template <typename T>
class testopaque {
public:
    void test(T var = T()) {}
};

当使用指针类型示例int*调用时，默认参数是如何工作的？

int main() {
    testopaque<int *> obj1;
    obj1.test();
}

当obj1.test（）被调用时，编译器将生成什么。我得到一个编译器错误当我尝试

int main() {
    int * var = int *();
}

error: expected primary-expression before ‘int’
int * ptr = int *();

Answer 1

使用以下表达式时：

T var = T();

其中T是指针类型，然后var将被分配nullptr

Answer 2

这是一个C的复杂语法和语法如何产生意外结果的示例：

int *();

您的C编译器很容易将此构造解释为“返回指向int的指针的函数”。您的C编译器屈服于这种诱惑，并得到了观察到的结果。

您需要在这里教您的C编译器您要完成的任务：

typedef int *intp;

int main()
{
    int * var = intp();
}

Answer 3

假设您有x=12。您是否希望x*3等于12*3等于7？

类似的问题正在这里发生int*（）与t=int*thent（）不同。

尝试（int*）{}，它解决了组合解析和精确问题。或者使用T=int*； int*x=T（）；，甚至int*x={}；。