main() 及其参数可以有属性吗？

Question

在标准C++中，main函数及其参数可以有属性吗？

例如，以下是合法的吗？

[[noreturn]] int main() { std::abort(); }

或类似的东西

[[nodiscard, carries_dependency]]
int main(int argc [[maybe_unused]],
         char * argv [[carries_dependency, maybe_unused]] [])
{ /* ... function body omitted ... */ }

Answer 1

是的，这是合法的。 C++ 标准（[basic.start.main]、[dcl.attr] 或其他地方）中没有任何措辞来防止这种情况发生。如果需要，甚至可以将main() 标记为[[deprecated]]。