gpt4 book ai didi

c++ - C++ 中的通用访问者基类模板 - 重载问题

转载 作者:塔克拉玛干 更新时间:2023-11-03 01:56:21 29 4
gpt4 key购买 nike

我认为编写通用访问者基类模板会是一个简单的练习。目标是能够写

typedef visitor<some_base, some_derived1, some_derived2> my_visitor;

...然后让 my_visitor 成为功能上等同于

的类型
struct my_visitor {
virtual void visit(some_base&) {}
virtual void visit(some_derived1&) {}
virtual void visit(some_derived2&) {}
};

我可以继承该类型层次结构的实际有用的派生访问者类,它根据需要覆盖不同的 visit() 版本。我希望它适用于具有任何继承关系的任意数量的类型,并且我不想使用任何使用 type_info 比较重新实现虚函数的 hack。这是我想出的:

#include <cstdlib>
#include <iostream>
#include <vector>


/** This is the generic part that would go in a visitor.hpp header. */
template <typename T> struct visitor_base {
virtual void visit(T&) {};
};

template <typename... T> struct visitor : visitor_base<T>... {};


/** This is the part that is specific to a certain type hierarchy. */
struct base;
struct derived1;
struct derived2;

typedef visitor<base, derived1, derived2> my_visitor;


/** This is the type hierarchy. */
struct base {
virtual void accept(my_visitor& v) { v.visit(*this); }
};

struct derived1 : base {
derived1() : i(42) {}
virtual void accept(my_visitor& v) { v.visit(*this); }
int i;
};

struct derived2 : base {
derived2() : f(2.79) {}
virtual void accept(my_visitor& v) { v.visit(*this); }
float f;
};


/** These are the algorithms. */
struct print_visitor : my_visitor {
void visit(base&) { std::cout<<"that was a base."<<std::endl; }
void visit(derived1& d) { std::cout<<"that was "<<d.i<<std::endl; }
void visit(derived2& d) { std::cout<<"that was "<<d.f<<std::endl; }
};

struct randomise_visitor : my_visitor {
void visit(derived1& d) { d.i = std::rand(); }
void visit(derived2& d) { d.f = std::rand() / float(RAND_MAX); }
};


int main() {
std::vector<base*> objects { new base, new derived1, new derived2,
new derived2, new base };

print_visitor p;
randomise_visitor r;

for (auto& o : objects) o->accept(p);
for (auto& o : objects) o->accept(r);
for (auto& o : objects) o->accept(p);
}

问题是这不能编译。海湾合作委员会说

silly_visitor.cpp: In member function ‘virtual void base::accept(my_visitor&)’:
silly_visitor.cpp:24:42: error: request for member ‘visit’ is ambiguous
silly_visitor.cpp:8:16: error: candidates are: void visitor_base<T>::visit(T&) [with T = derived2]
silly_visitor.cpp:8:16: error: void visitor_base<T>::visit(T&) [with T = derived1]
silly_visitor.cpp:8:16: error: void visitor_base<T>::visit(T&) [with T = base]

基本上,问题是由于不同的 visit() 成员函数在不同的类中声明,它们不被视为重载决议的候选对象,而只是作为不明确的成员访问。强制编译器考虑继承函数以解决重载问题的常用技巧是在派生类中使用“using”语句重新声明它们,但这在这种情况下不可行,因为它会破坏它的整个通用方面。

所以,显然这并不像我想象的那么容易。有什么想法吗?

最佳答案

编译器不知道哪个基类' visit函数来调用。参见 this question of mine .因此,正如您所说的那样,您需要使这些功能在 visitor 中可用。用using上课声明。遗憾的是,您不能只使用 using visitor_base<T>::visit...; ,因为这不是一个有效的模式。您必须递归地继承一个又一个基类,并且每次都带来基类 visit s 进入派生类的范围:

template <typename T>
struct visitor_base {
virtual void visit(T&) {};
};

template <typename Head, typename... Tail>
struct recursive_visitor_base
: visitor_base<Head>
, recursive_visitor_base<Tail...>
{
using visitor_base<Head>::visit;
using recursive_visitor_base<Tail...>::visit;
};

template<class T>
struct recursive_visitor_base<T>
: visitor_base<T>
{
using visitor_base<T>::visit;
};

template <typename... T>
struct visitor
: recursive_visitor_base<T...>
{
using recursive_visitor_base<T...>::visit;
};

Live example on Ideone (我不得不稍微调整部分规范,因为 GCC 4.5.1 在那个部分有点错误。Clang 编译这个答案中显示的代码就好了)。输出:

that was a base.
that was 42
that was 2.79
that was 2.79
that was a base.
=================
that was a base.
that was 1804289383
that was 8.46931e+08
that was 1.68169e+09
that was a base.

关于c++ - C++ 中的通用访问者基类模板 - 重载问题,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9024177/

29 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com