c++ - 为什么命名空间不能是模板参数？

Question

我了解命名空间不能是模板参数。见问题，"template specialized on a namespace" :

Given:

namespace A {
  class Foo;
  class Bar;
}

namespace B {
  class Foo;
  class Bar;
}

I want to template a class on the namespace A or B such that the following works:

template<name> class C {
  name::Foo* foo;
  name::Bar* bar;
};

我想知道为什么会这样。我知道模板不是结构，但编译器的设计是否存在技术限制？还是在实现此功能时需要做出重大权衡？

Answer 1

当 Bjarne Stroustrup 在 C++ 标准 session 上第一次开始谈论模板时，他提到命名空间作为模板参数。 react 持怀疑态度，部分原因是命名空间本身太新了，我们害怕将两个我们不理解的东西结合起来。