C++无链接名称为何可跨作用域访问？无链接实体的实际含义是什么？

核心结论 #

你对「无链接（no linkage）」的理解偏差，主要是误读了标准中「不能被其他作用域的名称引用」的适用范围：这里的限制仅针对通过标识符名称直接绑定实体的场景，不包含通过类型推导、成员查找等间接方式访问实体的情况。

相关标准说明 #

首先可以确认cppreference的说法符合C++标准规定：局部类的成员函数、静态数据成员、嵌套类型等所有成员，都属于无链接实体。

无链接的实际含义 #

链接的本质作用是规定「不同作用域/不同翻译单元中出现的同名标识符，是否能指代同一个实体」。无链接的实体对应的限制非常明确：

• 该实体的名称只能在它声明的作用域内被直接使用，出了这个作用域后，你无法通过直接写名称的方式找到这个实体
• 不同作用域中声明的同名无链接实体，永远是互相独立的不同实体，不会被链接器识别为同一个
• 无链接实体不能作为模板非类型参数使用
• 无法在其他翻译单元中通过外部声明的方式关联到该实体

示例代码合法的原因 #

你给出的代码中，main函数里从来没有直接使用Local::member这个名称：

int main() {
    auto local = make_local();
    local.member(); // Ok
}

这里的local是通过auto推导得到的类型，调用member()是通过对象的类型做成员查找找到的函数，整个过程没有涉及「在其他作用域通过名称引用无链接实体」，完全符合标准要求。

你可以做一个简单的验证：如果你尝试在main函数里直接写Local::member，编译器会直接报错，提示Local未声明，这才是无链接规则的实际限制体现。

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