我在以下代码中发现了一个问题:
看来,GCC只能对第一个接口I_Udc进行反虚拟化。接口GCC无法解除第二个接口I_Uac的虚拟化。如果我先写I_Uac,I_Uac调用将是内联的。
以下是编译器资源管理器中的代码:https://godbolt.org/z/z6WEoznfW
class I_Uac
{
public:
virtual float GetIUac() = 0;
};
class I_Udc
{
public:
virtual float GetIUdc() = 0;
};
class DataAcq final : public I_Udc, public I_Uac
{
float GetIUac()
{
return r;
}
float GetIUdc()
{
return m;
}
private:
float r = 20;
float m = 20;
};
DataAcq temp;
I_Uac& temp1 = temp;
I_Udc& temp2 = temp;
int main ()
{
volatile float r = temp1.GetIUac();
volatile float m = temp2.GetIUdc();
}
所以问题是我如何强制编译器通过接口引用内联这两个函数调用?
发布于 2021-04-23 04:38:36
据我所知,保证去虚拟化的最好的/唯一的方法是从一开始就不虚拟化。对您的类稍作更改就可以使用CRTP方法,尽管它有点丑陋,特别是在引用基类类型时,这是完全可行的。
#include <cstdio>
template <typename DerivedT>
class I_Uac {
public:
float GetIUac() {
return static_cast<DerivedT*>(this)->GetIUac();
};
};
template <typename DerivedT>
class I_Udc {
public:
float GetIUdc() {
return static_cast<DerivedT*>(this)->GetIUdc();
};
};
template <template <typename...> class... BaseTs>
class DataAcq final : public BaseTs<DataAcq<BaseTs...>>... {
public:
float GetIUac()
{
std::puts("GetIUac"); // much nicer in compiler explorer output
return r;
}
float GetIUdc()
{
std::puts("GetIUdc");
return m;
}
private:
float r = 20;
float m = 20;
};
DataAcq<I_Udc, I_Uac> temp;
I_Udc<decltype(temp)>& temp1 = temp;
I_Uac<decltype(temp)>& temp2 = temp;
int main ()
{
volatile float r = temp1.GetIUdc();
volatile float m = temp2.GetIUac();
}
https://stackoverflow.com/questions/67213194
复制相似问题