如何基于类型相关类型专门化C ++模板类函数？

Question

I have a C++ templated class

// Definition
template <typename T>
class MyCLass {
public:
  typedef typename T::S MyS; // <-- This is a dependent type from the template one
  MyS operator()(const MyS& x);
};

// Implementation
template <typename T>
MyCLass<T>::MyS MyClass<T>::operator()(const MyClass<T>::MyS& x) {...}

What I want is that overloaded operator operator() behaves differently when MyS is double .

I thought about specialization, but how to do in this case considering that the specialization should act on a type-dependent type? Thankyou

Answer 1

You could forward the work to some private overloaded function:

template <typename T>
class MyCLass {
public:
  typedef typename T::S MyS;
  MyS operator()(const MyS& x) { return operator_impl(x); }

private:
  template<typename U>
  U operator_impl(const U& x);

  double operator_impl(double x);
};

Answer 2

You can solve this by introducing an extra default parameter:

template <typename T, typename Usual = typename T::S>
class MyClass { ... };

Then you can specialize using a double :

template <typename T>
class MyClass<T, double> { ... }