如何避免模板參數樣板調用父類的構造時

Question

所以我們可以說我有很多的模板參數類，其中之一是派生類使用CRTP：

template <typename Derived, typename A, typename B, typename C, typename D> 
class BaseFoo { 
public: 
    BaseFoo(A& a) {} 
}; 

而且我想繼承它：

class DerivedFoo : public BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec> { 
public: 
    DerivedFoo(A& a) : BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec>(a) {} 
}; 

是否有任何技巧可以避免所有顯式模板參數提及？

如果我仍然需要聲明Derived作爲模板參數，那也行。

Answer 1

只要使用派生類的名稱並查找其中的基類名稱（如果基類是相關的）。如果它不是依賴的，那麼你可以將基類命名爲非限定的，因爲它在範圍內。不需要所有的模板參數

class DerivedFoo : public BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec> { 
public: 
    DerivedFoo(A& a) : BaseFoo(a) {} 
}; 

每個類都聲明自己的名字。不僅是普通的類，還有類模板實例。所以BaseFoo是指BaseFoo<...>在它自己的範圍和它的派生類的範圍。

Answer 2

首先申明DerivedFoo。

class DerivedFoo; 

然後typedef

typedef BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec> OtherFoo; 

也可以與using

using OtherFoo = BaseFoo<DerivedFoo, Bc, Cc, Dc, Ec>; 

，或者如果你不關心不得不提Derived

template <typename Derived> 
using OtherFoo = BaseFoo<Derived, Bc, Cc, Dc, Ec>; 

class DerivedFoo : public OtherFoo<DerivedFoo> { 
    .... 
};