- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
我想创建一个抽象类来定义类的一些方法。其中一些应该由基类 (Base) 实现,一些应该在 Base 中定义但被 Derived 覆盖,还有一些应该在 Base 中是纯虚拟的以强制在 Derived 中定义。
这当然是抽象类的用途。但是,我的应用程序只会直接使用 Derived 对象。因此,编译器应该在编译时准确地知道要使用哪些方法。
现在,因为这段代码将在 RAM 非常有限的微 Controller 上运行,所以我很想避免实际使用带有 vtable 的虚拟类。从我的测试来看,编译器似乎足够聪明,除非必须,否则至少在某些情况下不会创建 vtable。然而,有人告诉我永远不要相信编译器:是否有可能将其作为编译的必要条件?
下面是一些代码示例:
class Base {
public:
Base() {}
virtual ~Base() {};
virtual int thisMustBeDefined() = 0;
virtual int thisCouldBeOverwritten() { return 10; }
int thisWillBeUsedAsIs() { return 999; }
};
class Derived : public Base {
public:
Derived() {}
~Derived() {}
int thisMustBeDefined() { return 11; }
};
这没有虚表,这就是我想要的
int main() {
Derived d;
d.thisMustBeDefined();
}
由于我草率的编码,我错误地强制编译器使用多态性,因此需要一个 vtable。我怎样才能让这个案例抛出错误?
int main() {
Base * d;
d = new Derived();
d->thisMustBeDefined();
}
这里我在任何时候都没有引用“Base”类,因此编译器应该知道所有方法都是在编译时预先确定的。但是它仍然创建一个 vtable。这是我希望能够通过编译错误检测到这一点的另一个示例。
int main() {
Derived * d;
d = new Derived();
d->thisMustBeDefined();
}
换句话说,如果我编写的代码导致编译器为我的类生成 vtable,即使用多态性,我希望它是一个编译器错误。
最佳答案
正如评论中已经提到的,您可以使用 CRTP (也称为静态多态性)以避免创建 vtable:
template <typename Der>
class Base {
public:
Base() {}
~Base() {};
int thisMustBeDefined() {
// Will fail to compile if not declared in Der
static_cast<Der*>(this)->thisMustBeDefined();
}
int thisCouldBeOverwritten() { return 10; }
int thisWillBeUsedAsIs() { return 999; }
};
class Derived : public Base<Derived> {
public:
Derived() {}
~Derived() {}
int thisMustBeDefined() { return 11; }
// Works since you call Derived directly from main()
int thisCouldBeOverwritten() { return 20; }
};
如果函数未在 Derived
中实现,为了使编译器错误更具可读性,您可以使用 this answer 中提供的简单静态检查。 :
#define DEFINE_HAS_SIGNATURE(traitsName, funcName, signature) \
template <typename U> \
class traitsName \
{ \
private: \
template<typename T, T> struct helper; \
template<typename T> \
static std::uint8_t check(helper<signature, &funcName>*); \
template<typename T> static std::uint16_t check(...); \
public: \
static \
constexpr bool value = sizeof(check<U>(0)) == sizeof(std::uint8_t); \
}
DEFINE_HAS_SIGNATURE(thisMustBeDefined, T::thisMustBeDefined, int(*)(void));
并将静态检查添加到 Base
构造函数中:
Base() {
static_assert(thisMustBeDefined<Der>::thisMustBeDefined,
"Derived class must implement thisMustBeDefined");
}
虽然在小型设备上工作时应该考虑一个缺点,并且您同时有多个版本的 Derived
是 Base
中的代码将被复制每个 Derived
实例。
因此,您必须决定对于您的用例而言,什么是更重要的限制。
正如@ChrisDrew 在他们的 comment 中指出的那样,将 thisCouldBeOverwritten()
和 thisWillBeUsedAsIs()
函数移动到 Base
模板类派生的另一个基类将有助于解决该问题。
关于c++ - 抽象类作为接口(interface),没有 vtable,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40265936/
我对 virtual inheritance 很感兴趣这件事给我带来了神秘感。让我们以 virtual inheritance 为例。 : struct Base { virtual void
虽然手头的问题已解决,但让我有点困惑的是什么数据用于构造类的虚表以及虚表的布局存储在哪里。如果有人可以提供澄清或指出一些可能满足我好奇心的信息,我将不胜感激。 背景 两个独立的 VC6.0 项目:一个
关于我的环境的信息 Mac OS 大苏尔:11.4 VS for Mac:8.10.6(内部版本 10) Xamarin.Android:11.3.0.4 SDK 工具版本:26.1.1 SDK平台工
根据我的理解,VTable 是调用最派生版本的函数所必需的。它将包含有关函数的最派生版本的条目......我的疑问是为什么我们需要为基类提供一个 VTable。因为使用基对象进行调用总是需要调用基类函
我读了这篇文章: https://shaharmike.com/cpp/vtable-part2/ 我不明白为什么在 vtable 中(在文章末尾)我们有这个指针: 0x400918 0x400820
#include #include using namespace std; class Foo { public: virtual void f1() { cou
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 关闭 9 年前。 这个问题似乎是题外话,因为它缺乏足够的信息来诊断问题。更详细地描述您的问题或inclu
class Base { public: virtual void function1() {}; virtual void function2() {}; }; class D1:
Variant-like 类型通常通过模拟 Vtables 来实现,参见示例 https://www.youtube.com/watch?v=uii2AfiMA0o 现在,作为替代方案,我们可以简单地
假设我有一个继承自 B 类和 C 类的 A 类(多重继承)。A 类有多少 vtable 成员?单继承是什么情况? 此外,假设: Class A : Public B {} 和: B* test = n
我知道这里有很多关于 vtables 的问题,但我还是有点困惑。 只有当我们有一个指向基类的指针来解析要调用派生类的哪个虚函数时,才使用 vtables 吗? 在我下面的示例中,在第一种情况下,是否在
我有一些关于虚拟析构函数和 vtable 的具体问题。 假设我有以下代码: class Base { public: virtual ~Base(); }; class Child : pub
这个问题在这里已经有了答案: What is a vtable in C++ [duplicate] (3 个答案) Why do we need a virtual table? (5 个答案)
如何在位置无关代码中实现虚函数? 我知道如果我的类有虚函数,编译器通常会为它生成一个 vtable,其中包含所有虚函数的地址,并在我的类的每个对象中存储一个指向 vtable 的指针。 现在,如果我的
网上有很多关于虚表的资源。他们通常对他们有相同的陈述: "只要类本身包含虚函数或重写父类的虚函数,编译器就会为该类构建一个 vtable。这意味着并非所有类都有编译器为它们创建的 vtable。 vt
我对 vtables 的理解是,如果我有一个带有虚函数 speak() 的类 Cat,它有子类 Lion 和 HouseCat,则有一个 vtable 将 speak() 映射到每个子类的正确实现。于
vtable 包含指向那个类的虚函数的指针。它是否也包含指向非虚函数的指针? 谢谢! 最佳答案 这是一个实现细节,但不是。如果一个实现将指向非虚函数的指针放入虚表中,它就不能使用这些指针进行函数调用,
我们有没有virtual table对于 abstract class ? 最佳答案 首先,vtables 的使用是实现定义的,而不是标准强制要求的。 对于使用 vtable 的实现,答案是:是的,通
你能解释一下编译器是否为一个有虚函数的类生成了 vtable 并且没有使用那个类(对象不是以任何形式创建的)。比如说, class A { public:
我对 C++ 和虚拟继承感到好奇 - 特别是解决 bass 类和子类之间的 vtable 冲突的方式。我不会假装理解它们如何工作的细节,但到目前为止我所看到的是它们是由于该分辨率而使用虚函数造成的一个
我是一名优秀的程序员,十分优秀!