仅定义默认构造函数时接受构造函数参数的专用模板

Question

所以，我有这个模板类及其专业化。

    #include <iostream>

    using namespace std;

    template<bool> struct CompileTimeChecker{

         CompileTimeChecker(...); //constructor, can accept any number of parameters;

    };

    //specialized template definition

    template<> struct CompileTimeChecker<false> {

        //default constructor, body empty

    };

案例 1：

在main 函数中，我定义了一个名为ErrorA 的本地类。当我创建一个 CompileTimeChecker<false> 的临时对象并将 ErrorA 的临时对象作为初始值设定项时，编译器没有检测到任何错误。

int main()
{

    class ErrorA {};

    CompileTimeChecker<false>(ErrorA()); //Case 1;

    CompileTimeChecker<false>(int());    //Case 2;

    return 0;

}

案例 2：

接下来我用int 类型的临时对象输入它，然后编译器突然发现了这个问题（在专用模板CompileTimeChecker<false> 中没有使用args 的构造函数）

main.cpp:30:36: error: no matching function for call to ‘CompileTimeChecker::CompileTimeChecker(int)’ CompileTimeChecker<false>(int());

main.cpp:21:23: note: candidate: constexpr CompileTimeChecker::CompileTimeChecker()
     template<> struct CompileTimeChecker<false> {
                       ^~~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:21:23: note:   candidate expects 0 arguments, 1 provided

为什么它无法识别案例 1 中的问题？

Answer 1

CompileTimeChecker<false>(ErrorA());

不会创建CompileTimeChecker<false> 类型的临时对象，而是将临时ErrorA() 传递给其构造函数。相反，它声明了一个名为 ErrorA 的函数，不接受任何参数并返回 CompileTimeChecker<false> 。另见：most vexing parse。

另一方面，CompileTimeChecker<false>(int()); 不能被解析为声明，因此它确实创建了一个 CompileTimeChecker<false> 类型的临时变量。

最简单的方法是用大括号代替括号来表示初始化：

CompileTimeChecker<false>{ErrorA{}};