函数作用域内的声明能否使用局部常量作为默认实参？

根据C++标准的规定，这种用法是非法的，GCC和MSVC的报错行为符合标准要求，Clang的编译通过属于非标准扩展。

标准依据 #

C++标准在[dcl.fct.default]条款中明确规定：默认实参表达式不得引用具有自动存储期的变量（除非该变量是在默认实参表达式内部声明的）。

示例代码中，constexpr int c = 1是main函数内的局部变量，属于自动存储期（即使被constexpr修饰，存储期依然是自动的，而非静态），因此不能作为函数声明的默认实参。

示例代码与编译器行为 #

void f(int) {}

int main() {
    constexpr int c = 1;
    void f(int = c); // 违反标准规定：引用了自动存储期的局部变量
    f();
}

• GCC报错：error: local variable 'c' may not appear in this context

• MSVC报错：error C2587: 'c': illegal use of local variable as default parameter
  以上两种编译器的报错完全符合标准要求。

• Clang可正常编译通过，这是Clang提供的非标准扩展，并不符合C++标准的官方规定。

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