为何C++无法将模板参数解包至默认构造函数中？

咱们先从你给出的代码说起，先把完整示例贴出来：

#include <iostream>
template <typename T, typename... Args>
T* getSingleton(Args... args) {
    static T instance(args...);
    return &instance;
}
class MyType1 {
public:
    MyType1(int val) {}
    MyType1(const MyType1&) = delete;
    MyType1(MyType1&&) = delete;
};
class MyType2 {
public:
    MyType2() {}
    MyType2(const MyType2&) = delete;
    MyType2(MyType2&&) = delete;
};
int main() {
    std::cout << getSingleton<MyType1>(11) << std::endl; // 可以正常运行
    // std::cout << getSingleton<MyType2>() << std::endl; // 直接调用会报错
}

你会发现带参数的MyType1能正常工作，但依赖默认构造函数的MyType2一调用就出问题，核心原因是C++里的经典语法陷阱——最令人头疼的解析（Most Vexing Parse）：

当你调用getSingleton<MyType2>()时，模板参数包Args...是空的，此时函数里的static T instance(args...);会被编译器解析成声明一个名为instance、返回类型为T的函数，而不是调用默认构造函数创建T类型的对象！

而MyType1的情况没有歧义：你传了参数11，args...展开后是一个int值，instance(args...)会被明确识别为调用MyType1(int)构造函数创建对象，不会触发语法误解。

解决办法 #

最简洁且通用的方案是改用大括号初始化语法，把构造对象的代码修改为：

static T instance{args...};

这样不管参数包Args...是空还是有内容，编译器都会把它解析为对象初始化：

• 当Args...为空时，instance{}就是调用默认构造函数；
• 当Args...有参数时，也能正常转发参数到对应构造函数。

修改后的完整可运行代码如下：

#include <iostream>
template <typename T, typename... Args>
T* getSingleton(Args... args) {
    static T instance{args...}; // 改用大括号初始化
    return &instance;
}
class MyType1 {
public:
    MyType1(int val) {}
    MyType1(const MyType1&) = delete;
    MyType1(MyType1&&) = delete;
};
class MyType2 {
public:
    MyType2() {}
    MyType2(const MyType2&) = delete;
    MyType2(MyType2&&) = delete;
};
int main() {
    std::cout << getSingleton<MyType1>(11) << std::endl; // 正常运行
    std::cout << getSingleton<MyType2>() << std::endl; // 现在也能正常运行了
}

如果需要兼容C++11之前的老旧环境，也可以通过模板特化处理空参数包的情况，但大括号初始化的方案显然更优雅直观。

内容的提问来源于stack exchange，提问作者devalone