模板类构造函数含参数包触发MSVC C1004文件意外结束错误求解决

问题重现 #

现有可正常编译运行的模板函数：

// some_util_file.h
namespace ArgsUtil
{
    struct Args
    {
        void* item;
        Args* next{ nullptr };
    };

    template <typename Arg, typename... ArgRest>
    static void PackArgs(Args* args, Arg arg, ArgRest...rest)
    {
        args->item = new Arg{ arg };

        if constexpr (sizeof...(rest) > 0)
        {
            args->next = new Args{};
            PackArgs(args->next, rest...);
        }
    }
}

// main.cpp
using namespace ArgsUtil;
int main()
{
    Args* payload = new Args{};
    PackArgs<int, std::string, float>(payload, 12, "hello", -412.f);
}

但编写模板类PayloadPacker复用该函数时，MSVC（VS2022）触发C1004: unexpected end-of-file found错误：

// some_other_file.h

using namespace ArgsUtil;

template <typename Arg, typename... ArgRest>
class PayloadPacker
{
public:
    Args* payload{ nullptr };

    PayloadPacker(Arg arg, ArgRest...rest) : payload(new Args{})
    {
        PackArgs(payload, &arg, &rest...);
    }
};

关键现象：

• 即使构造函数体为空，只要保留初始化列表payload(new Args{})就报错
• 去掉初始化列表则编译正常

该代码在GCC、Clang等编译器下可正常运行，属于MSVC的模板解析bug。

解决方案 #

针对MSVC的这个问题，可采用以下几种修复方式：

1. 将成员初始化移至构造函数体内

把原本在初始化列表的new Args{}移到构造函数中赋值：

template <typename Arg, typename... ArgRest>
class PayloadPacker
{
public:
    Args* payload{ nullptr };

    PayloadPacker(Arg arg, ArgRest...rest)
    {
        payload = new Args{};
        PackArgs(payload, &arg, &rest...);
    }
};

2. 给初始化列表中的new表达式添加括号包裹

通过括号改变编译器的解析逻辑，避免语法误判：

template <typename Arg, typename... ArgRest>
class PayloadPacker
{
public:
    Args* payload{ nullptr };

    PayloadPacker(Arg arg, ArgRest...rest) : payload( (new Args{}) )
    {
        PackArgs(payload, &arg, &rest...);
    }
};

3. 显式调用Args的默认构造函数

将new Args{}改为new Args()，使用圆括号的构造调用方式：

template <typename Arg, typename... ArgRest>
class PayloadPacker
{
public:
    Args* payload{ nullptr };

    PayloadPacker(Arg arg, ArgRest...rest) : payload(new Args())
    {
        PackArgs(payload, &arg, &rest...);
    }
};

4. 改用类内成员初始化结合条件赋值

利用类内默认初始化，在构造函数中仅在需要时重新赋值：

template <typename Arg, typename... ArgRest>
class PayloadPacker
{
public:
    Args* payload = new Args{}; // 类内初始化

    PayloadPacker(Arg arg, ArgRest...rest)
    {
        PackArgs(payload, &arg, &rest...);
    }
};

以上方案均可解决MSVC下的C1004编译错误，同时保持代码功能不变。

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