当模板参数相同时，C++ 优化类模板函数

Question

我有一个模板类，其中有一个模板方法，提供两个模板参数 T 和 U。该操作非常昂贵，并且在分析中显示为 CPU 时间的主要用途。我可以稍微优化它，但仅限于 T == U 的情况(这很常见)，但是我不确定这样做的语法......

有问题的类和方法如下所示:

template<typename T>class Foo
{
public:
    ...
    template<typename U>U bar()const;
};

Foo::bar 通常是从其他一些模板代码中调用的，所以即使我创建了一个单独的方法(例如“T fastBar()const”)，我也不知道如何让其他模板代码调用它尽可能的版本...

我试图为 T == U 创建一个显式特化，但是 VC9 给了我错误

template<typename T>template<>T Foo<T>::bar<T>()const

error C2768: 'Foo::bar' : illegal use of explicit template arguments

Answer 1

所以关于模板类的模板成员的显式特化有一些奇怪的事情。看这个question .

一个解决方法是使用辅助类

template< typename T, typename U>
struct FooDispatchHelper
{
   static U dispatch( const Foo<T> * f )
   {
     return f->template bar_internal<U>();
   }
};

template< typename T >
struct FooDispatchHelper<T,T>
{
   static T dispatch( const Foo<T> * f )
   {
     return f->bar_fast();
   }
};

template<typename T>class Foo
{
public:
...
   template<typename U>U bar() const
   {
      return FooDispatchHelper<T,U>::dispatch( this );
   }

  template<typename U> U bar_internal() const;
  T bar_fast() const;

};

可以找到更完整的示例 here