[英]Templated visitor that hides overloaded virtual function : SFINAE on using?
我正在寫一個模板化的訪客(取決於我們要訪問的類型):
#include <iostream>
#include <memory>
#include <vector>
#include <string>
class INode;
class INodeVisitor {
public:
virtual void visit(INode&) = 0;
virtual ~INodeVisitor() = default;
};
template<typename ...Ts>
class TypedNodeVisitor;
template<typename T1, typename ...Ts>
class TypedNodeVisitor<T1, Ts...> : public TypedNodeVisitor<Ts...> {
public:
virtual void visit(INode &v) override {
if(auto p = dynamic_cast<T1*>(std::addressof(v))) {
apply(*p);
}
if constexpr(sizeof...(Ts) != 0) {
TypedNodeVisitor<Ts...>::visit(v);
}
}
//using TypedNodeVisitor<Ts...>::apply;
virtual void apply(T1 &) = 0;
};
template<>
class TypedNodeVisitor<> : public INodeVisitor {};
class INode {
public:
void accept(INodeVisitor &nv) {
nv.visit(*this);
}
virtual ~INode() = default;
};
class NodeB : public INode {};
class NodeA : public INode {};
class DrawerVisitor : public TypedNodeVisitor<NodeA, NodeB> {
public:
void apply(NodeA &) override {
std::cout << "A" << std::endl;
}
void apply(NodeB &) override {
std::cout << "B" << std::endl;
}
};
int main()
{
auto nodeA = std::make_shared<NodeA>();
auto nodeB = std::make_shared<NodeB>();
DrawerVisitor visitor;
nodeA->accept(visitor);
nodeB->accept(visitor);
return 0;
}
使用clang我會收到以下警告:
prog.cc:49:30: note: in instantiation of template class 'TypedNodeVisitor<NodeA, NodeB>' requested here
class DrawerVisitor : public TypedNodeVisitor<NodeA, NodeB> {
^
prog.cc:31:18: note: hidden overloaded virtual function 'TypedNodeVisitor<NodeB>::apply' declared here: type mismatch at 1st parameter ('NodeB &' vs 'NodeA &')
virtual void apply(T1 &) = 0;
我確實了解問題的TypedNodeVisitor<>
,但是如果在TypedNodeVisitor<>
的空專業化條件下沒有添加錯誤的apply()
定義,就無法解決該問題。
有沒有辦法在using TypedNodeVisitor<Ts...>::apply
上使用std::enable_if
?
有沒有辦法在使用
TypedNodeVisitor<Ts...>::apply
上使用enable_if?
據我所知,您不能:無法對using
類型進行模板化,因此可以使用SFINAE啟用/禁用它。
我沒有發現在TypedNodeVisitor<>
的空專業化中定義“偽造的apply定義” TypedNodeVisitor<>
(恕我直言,這是一個簡單而優雅的解決方案),但是...如果您真的想避免它,則可以定義TypedNodeVisitor<T0>
專業化,而不是TypedNodeVisitor<>
,如下所示
template <typename T0>
class TypedNodeVisitor<T0> : public INodeVisitor
{
public:
virtual void visit(INode &v) override {
if(auto p = dynamic_cast<T0*>(std::addressof(v))) {
apply(*p);
}
}
virtual void apply(T0 &) = 0;
};
這樣,您還可以避免在visit()
成員中進行if constexpr
測試(但可以避免在TypedNodeVisitor<>
添加虛假的visit()
)。
template<class...Ts>
struct IApply{};
template<class T0, class T1, class...Ts>
struct IApply<T0,T1,Ts...>:
IApply<T0>,IApply<T1,Ts...>
{
using IApply<T0>::apply;
using IApply<T1,Ts...>::apply;
};
template<class T0>
struct IApply<T0>{
virtual void apply(T0&)=0;
};
接下來執行此操作:
template<class Base, typename ...Ts>
class TypedNodeVisitor:public Base{};// 0 case
template<class Base, typename T1, typename ...Ts>
class TypedNodeVisitor<Base, T1, Ts...>: public TypedNodeVisitor<Base, Ts...> {
現在我們可以自定義我們的基礎了。
template<class...Ts>
struct IBase: INodeVisitor, IApply<Ts...>{};
template<class...Ts>
struct ITypeNodeVisitor:TyoedNodeVisitor<IBase<Ts...>,Ts...>{};
class DrawerVisitor : public ITypedNodeVisitor<NodeA, NodeB> {
並做了。
同時從TypedNodeVisitor中刪除Apply。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.