如何基於類型相關類型專門化C ++模板類函數？

Question

我有一個C ++模板類

// 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) {...}

我想要的是，當MyS為double時，重載的operator operator()表現不同。

我考慮過專業化，但考慮到專業化應該依賴於類型依賴類型，在這種情況下如何做？ 謝謝

Answer 1

您可以將工作轉發到某個私有的重載函數：

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

您可以通過引入額外的默認參數來解決此問題：

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

然后你可以專門使用double ：

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