如何在封闭命名空间外定义模板函数特化？

我需要为模板函数A::func<T>实现针对A::B::foo类的显式特化，并且希望将特化定义放在A::B::foo类定义的下方，方便代码导航和阅读。但下面的写法会报错：

namespace A
{

template <typename T>
void func(T);

namespace B
{
  class foo {};

  template <>
  void ::A::func(foo); // 错误：Cannot define or redeclare 'func' here because namespace 'B' does not enclose namespace 'A'

  class bar {};

  class foobar {};
}

}

目前我想到的方法是临时关闭A::B命名空间，定义特化后再重新打开，但写法不够优雅：

namespace A
{

template <typename T>
void func(T);

namespace B {

  class foo {};

}

template <>
void ::A::func(B::foo);

namespace B {

  class bar {};

  class foobar {};
  
}

}

请问有没有办法在靠近A::B::foo的位置定义该特化？

无法在A::B命名空间内部直接定义A::func的显式特化——C++标准要求模板的显式特化必须声明/定义在原模板所在的命名空间（即A）或全局命名空间中，而B作为A的子命名空间，无法"包含"外层的A，因此编译器会报错。

不过你可以优化现有写法，去掉全局作用域限定符，让代码更简洁：

namespace A
{

template <typename T>
void func(T);

namespace B {
  class foo {};
} // 临时关闭B命名空间

// 在这里定义特化，位置紧邻foo的定义
template <>
void func(B::foo) {
    // 特化的实现逻辑
}

namespace B {
  // 继续定义其他类
  class bar {};
  class foobar {};
}

}

这种写法既保持了特化与foo定义的紧邻性，又符合C++的语法规则，是比较合理的实现方式。

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