C++中属性列表里的省略号应作何用途？

首先先引用你提到的C++参考文档内容：

其中attribute-list是由零个或多个属性组成的逗号分隔序列（可以省略号...结尾，表示pack expansion）

你测试时没发现区别是很正常的——省略号仅在涉及模板参数包的场景下才会发挥作用，普通非模板代码里加不加这个省略号，效果完全一致，编译器会直接忽略多余的省略号。

1. 普通非模板场景：无区别 #

比如你写一个普通函数，用带省略号和不带省略号的属性：

#include <iostream>

[[nodiscard]] int get_value() {
    return 42;
}

[[nodiscard...]] int get_another_value() {
    return 100;
}

int main() {
    get_value();          // 编译器会警告：nodiscard属性的值被丢弃
    get_another_value();  // 同样会触发警告，和上面完全一致
    return 0;
}

这里的[[nodiscard...]]和[[nodiscard]]没有任何区别，因为没有需要扩展的参数包，省略号在这里只是一个无意义的后缀，编译器会直接忽略它。

2. 模板参数包场景：省略号的作用显现 #

当你在可变参数模板中使用属性时，省略号就会发挥包扩展的作用——它会把属性依次应用到参数包的每个元素上。

举个典型的例子，用[[maybe_unused]]标记可变参数模板的每个参数，避免编译器因为参数未使用而发出警告：

#include <iostream>

// 写法1：不带省略号，仅第一个参数会被标记为maybe_unused（或编译报错，取决于编译器）
template<typename... Args>
void func1([[maybe_unused]] Args... args) {
    std::cout << "func1 called\n";
}

// 写法2：带省略号，每个参数都会被标记为maybe_unused
template<typename... Args>
void func2(Args [[maybe_unused]]... args) {
    std::cout << "func2 called\n";
}

int main() {
    func1(1, "hello", 3.14);  // 可能会触发后两个参数未使用的警告
    func2(1, "hello", 3.14);  // 不会触发任何警告，因为每个参数都被标记为maybe_unused
    return 0;
}

另一个场景是属性包的扩展，比如你有一个属性参数包，需要把每个属性都应用到某个实体上：

template<typename... Attrs>
[[Attrs...]] void func3() {
    // 这里Attrs包中的每个属性都会被应用到func3上
}

// 实例化时，比如传递nodiscard和deprecated
template void func3<nodiscard, deprecated>();

此时[[Attrs...]]会被扩展为[[nodiscard, deprecated]]，这就是省略号作为包扩展的核心作用。

总结一下：你测试的场景没有涉及模板参数包，所以带不带省略号效果完全相同；只有在处理可变参数模板的参数或属性包时，省略号才会体现出它的特殊作用。

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