c++ - 在模板化构造函数中调用构造函数时的有趣行为

Question

当我遇到一个我无法追踪的有趣的编译器错误时，我刚刚创建了一个我认为我可以立即完成的非常小的项目(它是关于基本委托(delegate)的)。这是代码的简化版本:

class NoComp {
};

class Comp {
    bool operator==(const Comp& other)
    { std::cout << "Working!" << std::endl; return true;}
};

struct Test {
    template<typename T>
    Test(T&& obj) {}
    bool operator==(const Test& other);
};
int main()
{
    Test a(Comp());
    Test b(NoComp());
    a.operator ==(b);
}

当使用 g++ version 4.8.3 20140911 (Red Hat 4.8.3-7) (GCC) found here 编译时，这会产生以下编译器错误:

main.cpp: In function 'int main()':                                    
main.cpp:22:13: error: request for member 'operator==' in 'a', which is
 of non-class type 'Test(Comp (*)())'                                  
  a.operator ==(b);                                                    

我无法弄清楚该错误的含义以及它存在的原因。那里发生了什么，是错误还是标准涵盖？如果可以，我该如何避免？

Answer 1

Test a(Comp());
Test b(NoComp());

这声明了两个名为a 和b 的函数。第一个有一个 Comp(*)() 类型的参数和 Test 的返回类型，第二个有一个 NoComp(*)() 并且还返回一个 Test。 Comp() 是函数类型，作为函数类型的所有参数，调整为指向函数的指针类型。 NoComp() 也是如此。

使用双括号:

Test a((Comp()));
Test b((NoComp()));

或从 C++11 开始的列表初始化。