C++全特化重载函数作为模板默认参数时未被调用的问题

• 模板两阶段查找规则的固有影响：C++模板的非依赖名字查找发生在模板定义点。如果getDefaultField的全特化声明位置晚于process模板的定义位置，编译器在解析process的默认模板参数时，只能看到主模板的getDefaultField实现，无法感知后续声明的全特化版本。当process模板被实例化时，即便全特化已经处于可见范围，编译器也不会回溯之前的查找过程重新匹配，只会使用之前发现的主模板逻辑，返回FieldType{}对应的枚举默认值（即0，对应FieldType2::Description1），最终输出非预期结果。
• 模板形参拼写错误导致类型推导偏差：示例中FieldDescription的模板形参拼写为FiledType（与正确的FieldType差一个字母），但内部成员fieldType的类型标注使用了FieldType。由于这个类型名不关联任何模板形参，编译器在类型推导时无法匹配到预期的FieldType2类型，导致decltype(FieldDescr::fieldType)推导的类型与预期值不一致，无法匹配到对应FieldType2的全特化版本，只能调用主模板返回默认值。

• 调整声明顺序：将所有getDefaultField的全特化声明移动到process模板的定义之前，确保在process的定义点，所有特化版本都是可见的，让编译器在名字查找阶段就能正确识别并匹配对应的全特化实现。
• 修正模板定义的拼写错误：将FieldDescription的模板形参名修正为FieldType，确保内部fieldType成员的类型正确关联模板传入的枚举类型，让decltype推导的类型与预期的枚举类型完全一致，能够匹配到对应的全特化版本。
• 采用类型标记的函数重载替代全特化（更健壮的通用方案）：通过给getDefaultField增加一个不携带数据的类型标记参数，将全特化实现改为函数重载。利用依赖参数的查找（ADL）规则，重载函数的查找会在模板实例化点完成，不受声明顺序的影响，彻底避免两阶段查找带来的匹配失效问题。具体修改方式：
  1. 定义空的类型标记结构体：template<class T> struct type_tag {};
  2. 将getDefaultField改为接收type_tag<T>参数的重载形式，主模板保留默认返回逻辑，每个枚举类型对应一个重载函数，返回自定义的默认值。
  3. 调用时传入对应类型的标记实例：getDefaultField(type_tag<decltype(FieldDescr::fieldType)>{})

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