c - GObject:如何在编译时检查未初始化的纯虚拟？

Question

GObject 世界中有没有办法在编译时检测未初始化的纯虚函数？

我想调用一个纯虚拟方法而不先检查它。

/* pure_virtual_method must be non NULL */
base->pure_virtual_method();

但是如果没有初始化，它就只是SegV。

Answer 1

我不相信有一种方法可以在编译时完美地检查这一点，因为(例如)您的代码可以链接到另一个库、从定义虚拟方法的类派生的子类以及在子类中将虚拟方法设置为NULL(显式地或通过不初始化它来隐式地设置)。

处理这个问题的传统方法是在运行时:
g_assert(base->pure_virtual_method!= NULL);
基->pure_virtual_method();


一些静态分析工具可能能够在编译时检查此 g_assert() 约束，尽管考虑到 GObject 子类化的高度动态特性，这不太可能。