c++ - 在类模板实例化中携带类型信息

Question

我需要从用于实例化另一个类的类访问类型信息。

特别是void Beta<T>::do_something()需要接受 W, S 类型的参数用于实例化类 Alpha<W, S> .

template<typename W, S> 
class Alpha {
public:
  using carry_W = W;
  using carry_S = S;
};

template<typename T> 
class Beta {};
template<typename T>
void Beta<T>::do_something(typename T::carry_W p1, typename T::carry_S p2) {}

Beta<Alpha<int, double>> b;

上面的解决方案工作正常，但是有没有其他方法可以做到这一点而不将类型别名为类成员？是否有更“C++”的方式来做到这一点？

Answer 1

您可以创建一个仅包含前向声明和部分特化的类模板。

#include <iostream>

using namespace std;

template<typename W, typename S> 
class Alpha {
};

template<typename>
class Beta;

template<typename W, typename S, template<typename, typename> class T>
class Beta<T<W,S>> {
public:
  void do_something(W w, S s) {
      cout << w << ", " << s << '\n';
  }
};

int main() { 
    Beta<Alpha<int, double>> b;
    b.do_something(0, 0.0);
}