调用中的冗余命名空间限定符：为何Categories::ff(Categories::a)冗余？

好问题！这背后牵扯到C++里两个容易混淆的名字查找规则：枚举类的强隔离特性，以及实参依赖查找（ADL）的工作方式。咱们逐个拆解来看：

一、Categories::f(Categories::T::A) 没有冗余的原因 #

这里的核心限制来自**枚举类（enum class）**的设计：

• C++标准规定，枚举类的名字和它的枚举成员不会被“注入”到外围的命名空间中。也就是说，在Outter::f()函数里，你直接写T::A会编译报错——因为当前作用域根本找不到T这个类型名，必须显式用Categories::T来限定它的命名空间，所以Categories::T::A里的Categories::是完全必要的，一点都不能省。
• 至于函数名前的Categories::f，其实严格来说可以通过ADL省略（写成f(Categories::T::A)），因为ADL会自动查找参数类型Categories::T所在的Categories命名空间，找到对应的f函数。但用户标注的“无冗余”，应该是聚焦在Categories::T::A的限定符不可缺这一点上——毕竟和另一个调用对比，这里确实没有可以省略的必要限定符。

二、Categories::ff(Categories::a) 存在冗余限定符的原因 #

这里的冗余指的是函数名前的Categories::，理由是ADL的生效：

• ff的参数是Categories::V类型的变量a，当你调用ff(Categories::a)时，ADL会自动把参数类型V所在的Categories命名空间加入到函数名的查找范围里，所以编译器能直接找到Categories::ff，完全不需要显式写Categories::ff。
• 注意：Categories::a里的Categories::并不是冗余的！因为a是Categories命名空间下的全局变量，当前Outter::f()的作用域没有using namespace Categories;或者using Categories::a;，所以必须显式限定才能找到a这个变量。

总结一下差异 #

• 枚举类的强类型设计强制要求你必须通过完整的命名空间+枚举类名来访问成员，因此Categories::T::A的限定符不可省略；
• 普通函数如果参数类型属于某个命名空间，ADL会帮你自动查找该命名空间下的函数，因此函数名前的命名空间限定符可以省略（属于冗余）；
• ADL只负责函数名的查找，不作用于变量/类型名的查找，所以变量a的限定符还是必须的。

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