模板：如何將非類型參數對象作爲非類型參數傳遞給另一個模板

Question

爲了避免傳遞給8位系統上的許多常量，但仍然保持代碼模塊化，我使用了非類型模板）接收這些常量的參數。只要我只傳遞參數對象「一層」，就可以毫無問題地工作。

如果我嘗試使用這種模板對象作爲非類型參數到另一個模板時，編譯器拒絕我的企圖，甚至宣佈這樣的模板：

struct Params {constexpr Params(int i){}}; 
extern constexpr Params const p(1); 

// This compiles fine 
template <Params const &p> class A { }; 
A<p> a; 

// This does not compile 
template <A<Params const &> &a> class B { }; 
B<a> b; 

所以我的問題是：是否有人知道如何定義一個接收另一個（非類型）模板的對象作爲參數的模板？

Answer 1

您正在定義A是與非類型參數p但隨後的B定義要傳遞一個型到模板A（即類型Params const&）（類型Params const&）的模板。即使它不具有類型參數，您仍然認爲它是A。

但是這工作得很好：

template <A<p> &a> class B { }; 
B<a> b; 

如果你想B接受A<P>類型的參數爲任何P，那麼你需要P一個額外的模板參數。

template <Params const& P, A<P> &a> class B { }; 
B<p, a> b;