为什么编译器不能通过逗号运算符扩展可变参数模板的参数？

Why can't compilers expand arguments of a variadic template via comma operator?

本文关键字：参数 变参 扩展 运算符 不能 编译器 为什么      更新时间：2023-10-16

我知道我们不能使用可变扩展，就好像它是一个逗号操作符链。在这个问题中，示例是这样的:

template<typename... Args>
inline void increment_all(Args&... args) 
{
    ++args...; 
}

首先递增或展开可能会有歧义，因此括号不会造成伤害:

template<typename... Args>
inline void increment_all(Args&... args)
{
    (++args)...; 
}

或者像这样:

template<typename... Args>
void cout_all(Args&&... args)
{
    (std::cout << std::forward<Args>(args))...; 
}

我知道我们可以使用一些递归技巧来得到我们想要的，就像这样。我不知道的是为什么标准没有描述这种行为?我是说，这背后的原因是什么?

允许包展开的其他上下文是列表，其中逗号是列表元素之间的分隔符，而不是操作符。

例如，f(args...)展开为函数实参列表，tuple<Args...>展开为模板实参列表。

在您的示例中，包展开形成一个语句，语句子表达式之间的逗号是逗号操作符，它可以被重载，导致任意复杂的代码，并且与内置的逗号操作符不同，不是强制从左到右求值。如果您的(std::cout << std::forward<Args>(args))...;示例以未指定的顺序写出参数，您会感到惊讶，因为参数包中的一个类型重载了operator<<和operator,并破坏了求值顺序。

这样做将不是对当前规则的简单扩展，它将是一个具有非常不同效果的完全不同的上下文。

首先递增或展开可能会有歧义，因此括号不会造成伤害:

不，它不会有歧义。使用f(++args...)是可以的，它是清晰和明确的。您的建议的困难不在于如何解析++args...，而在于将其展开为包含逗号操作符的语句后会发生什么。

相关文章：