【发布时间】：2020-05-08 18:42:48
【问题描述】：
编辑：在虚函数的实现上使用 final 关键字会导致打印正确的字符串，但为什么这里需要 final 关键字？谁能解释一下？
我正在修改可变参数模板，我有非常通用的类 D1、D2、D3，......它们都派生自一个类 A。每个类都有一个静态和一个动态打印函数，父类有一个虚拟动态调度的动态打印功能。当我尝试在单个文件上重现它时：
class A {
public:
virtual void printDynamic();
static void printStatic();
}
class D1 : public A {
public:
virtual void printDynamic();
static void printStatic();
}
我有以下变体：
std::variant<A,As...> apvar;
std::variant<A*,As*...> avar;
我用所有派生类 D1,D2,... 实例化这两个变体（我知道向上转换的指针，我只是想取消对它们的类型的引用并做一些随机的事情）
我已经为包装器实现了递归访问者，我需要捕获它，因为我将大部分函数封装在一个类中，当我在类上调用访问者时，我得到的名称是“DX”、“DX”； X对应1。
template<class X, class Y, class... Zs>
void visit_actor(){
std::visit(
[this](auto&& value){
if constexpr(std::is_same<expr_type<decltype(value)>,expr_type<X>>::value){
value.printStaticName();
value.printDynamicName();
} else{
visit_actor<Y,Zs...>();
}
}, avar
);
}
但是，如果我在指针变体上调用访问者以及调用函数时： 对于静态函数，我得到：“DX”，X 对应于 I，但是当我调用动态函数时，我得到名称：“Abstract A”。
template<class X, class Y, class... Zs>
void visit_pointer(){
std::visit(
[this](auto&& value){
if constexpr(std::is_same<expr_type<decltype(value)>,expr_type<X>>::value){
value->printStaticName();
value->printDynamicName();
} else{
visit_pointer<Y,Zs...>();
}
}, apvar
);
}
我尝试在 c++ 文档中阅读有关它的内容，但还没有找到原因。派生类的静态函数被调用，而父类的虚函数被调用，可能是什么原因？
对于一个 Minimal Producable 示例，您需要实例化类：
#include <variant>
#include <iostream>
#include <string>
template <class T>
using expr_type = std::remove_cv_t<std::remove_reference_t<T>>;
template<class A,class... As>
class ActorWrapper{
public:
std::variant<A,As...> var;
template<class Ins>
ActorWrapper(Ins ins) : var(ins) {}
};
template<class A,class... As>
class ActorPointer{
public:
std::variant<A,As... > var;
template<class T>
ActorPointer(T* t) : var(t) {}
};
class X {
public:
int a;
virtual std::string getDynamicName() {
return "dynamic X";
}
static std::string getStaticName(){
return "static X";
}
};
class D1 : public X{
public:
bool b;
std::string getDynamicName() override {
return "dynamic D1";
}
static std::string getStaticName(){
return "static D1";
}
};
class D2: public X {
public:
bool b;
std::string getDynamicName() override {
return "dynamic D2";
}
static std::string getStaticName(){
return "static D2";
}
};
template<class A, class... As>
class TemplatedAGraph{
private:
//change aw to correspond to ap
template<class X>
void visit_actor(){
std::visit(
[this](auto&& value){
if constexpr(std::is_same<expr_type<decltype(value)>, expr_type<X>>::value){
std::cout << "z" << std::endl;
std::cout << value.getStaticName() << std::endl;
std::cout << value.getDynamicName() << std::endl;
}else{
std::cout << "d" << std::endl;
return;
}
}, aw.var
);
}
template<class X, class Y, class... Zs>
void visit_actor(){
std::visit(
[this](auto&& value){
if constexpr(std::is_same<expr_type<decltype(value)>, expr_type<X>>::value){
std::cout << "x" << std::endl;
std::cout << value.getStaticName() << std::endl;
//std::cout << value.getDynamicName() << std::endl;
} else{
std::cout << "y" << std::endl;
visit_actor<Y,Zs...>();
}
}, aw.var
);
}
template<class X>
void visit_pointer(){
std::visit(
[this](auto&& value){
if constexpr(std::is_same<expr_type<decltype(value)>, expr_type<X>>::value){
std::cout << "a" << std::endl;
std::cout << value->getStaticName() << std::endl;
std::cout << value->getDynamicName() << std::endl;
}else{
std::cout << "b" << std::endl;
return;
}
}, ap.var
);
}
template<class X, class Y, class... Zs>
void visit_pointer(){
std::visit(
[this](auto&& value){
if constexpr(std::is_same<expr_type<decltype(value)>, expr_type<X>>::value){
std::cout << "c" << std::endl;
std::cout << value->getStaticName() << std::endl;
std::cout << value->getDynamicName() <<std::endl;
} else{
//std::cout << typeid(decltype(value)).name() <<std::endl;
//std::cout << typeid(X).name() <<std::endl;
//std::cout << std::is_same_v<decltype(value),X> << std::endl;
std::cout << "d" << std::endl;
visit_pointer<Y,Zs...>();
}
}, ap.var
);
}
public:
ActorPointer<A*,As*...> ap;
ActorWrapper<A,As...> aw;
void print_names(){
visit_actor<A,As...>();
}
void print_names_w_pointer(){
visit_pointer<A*,As*...>();
}
//change ap to coresspond to aw
template<class X>
TemplatedAGraph(X a) : ap(&a), aw(a) {}
};
int main(){
D2 d2;
D2* d2ref = &d2;
std::cout << d2ref->getDynamicName() << std::endl;
TemplatedAGraph<D1,D2> tag(d2);
tag.print_names();
tag.print_names_w_pointer();
}
输出是：
thrud@thrud ~/wörk/test $ g++ main.cpp -std=c++17
thrud@thrud ~/wörk/test $ ./a.out
dynamic D2
y
z
static D2
dynamic D2
d
a
static D2
Segmentation fault
所以我想我偶然发现了一个未定义的行为，但我仍然想知道原因。
【问题讨论】：
-
你能发一个minimal-reproducible-example吗？
-
我忘了提，覆盖关键字没有改变。
-
您的示例仍然存在问题。我修正了拼写错误，公开了必要的功能，并添加了一个 main 来测试它。但是我现在遇到了段错误。如果你能提供一个完整的例子来说明发生了什么会更好，否则我们可能会在修复程序时意外地改变行为。
-
我已经重新实现它，尽可能接近我原来的层次结构，我也以一个分段错误结束，如果你不从指针调用动态函数，它就不会发生。
-
如果你在函数中添加“final”说明符，它会打印正确的类型！
标签： c++ templates c++17 template-meta-programming