C++“Type”模板参数?

您可以有一个带有静态函数的模板类&类型定义。。。但是使用它会变得丑陋:

template<typename Iterator>
class arbitraryname
{
public:
  typedef typename Iterator::value_type  value;

  static void myfunc( Iterator a, value b )
  {
    value c = b;
    cout << "Test" << c << endl;    
  }
};

struct Foo
{
  typedef int value_type;
};

int main()
{
  Foo f;
  myfunc<Foo>(f,2); // Old way.
  arbitraryname<Foo>::myfunc(f,3); // With templated class.
}

就我个人而言,在这种情况下,我会选择 ...

#define VALUE_TYPE  typename Iterator::value_type
template<typename Iterator>
void myfunc(Iterator a, VALUE_TYPE b)
#undef VALUE_TYPE
{
  typedef typename Iterator::value_type  bar;
  bar z = b;
  cout << "Test" << z << endl;
}

当然 那些人既丑陋又罪恶。但是代码读起来非常迟钝。。。

p、 为了安全起见,您可能需要添加:

#ifdef  VALUE_TYPE
#error "VALUE_TYPE already defined!"
#endif

你可以用 typename

template <typename Iterator>
void myfunc(Iterator a, typename Iterator::value_type b)
{ 
}