嵌套模板专业化

我不具备这样做的,但它可以让我很好地隐藏命名空间范围的一些实施细节.

建议赞赏!

PS:我忘了提到语言不支持明确专门针对Foo范围内的Bar.无论如何,AFAICS.

是的你可以.但是你需要改变调用结构,但只需要一点点.

具体来说,使用策略模式将成员函数的实现重组为一个类(允许IS专用).

只要策略类没有嵌套(因此不依赖于非专用模板类型),就允许这样做.

例如(这可能在语法上不正确,但想法应该清楚)

template 
class OuterThingThatIsNotSpecialized
{
  template 
  void memberWeWantToSpecialize(const U& someObj_)
  {
    SpecializedStrategy::doStuff(someObj_);
  }
};

template 
struct SpecializedStrategy;

template <>
SpecializedStrategy
{
  void doStuff(const int&)
  {
    // int impl
  } 
};

template <>
SpecializedStrategy
{
  void doStuff(const SomeOtherType&)
  {
    // SOT impl
  } 
};