我们的管理层最近一直在与一些销售C++ 静态分析工具的人交谈.当然销售人员说他们会发现大量的错误,但我持怀疑态度.
这些工具如何在现实世界中发挥作用?他们发现真正的错误吗?他们帮助更多初级程序员学习吗?
他们值得这么麻烦吗?
我们有一个限制,即一个类不能作为超过7个类的基类.有没有办法在编译时强制执行上述规则?
我知道Andrew Koenig的Usable_Lock技术可以防止类被继承,但只有当我们尝试实例化类时它才会失败.在推导自己时不能这样做吗?
允许基类知道谁是其子女.所以我想我们可以声明友好类的组合并封装它们来强制执行此规则.假设我们尝试这样的事情
class AA {
friend class BB;
private:
AA() {}
~AA() {}
};
class BB : public AA {
};
class CC : public AA
{};
Run Code Online (Sandbox Code Playgroud)
类CC的推导将生成编译器警告abt无法访问的dtor.然后,我们可以使用编译器调整(例如将所有警告标记为错误)将这些警告标记为错误,但我不想依赖这些技术.
另一种方式,但对我来说看起来很笨拙是: -
class B;
class InheritanceRule{
class A {
public:
A() {}
~A() {}
};
friend class B;
};
class B {
public:
class C : public InheritanceRule::A
{};
};
class D : public InheritanceRule::A{};
Run Code Online (Sandbox Code Playgroud)
D类的派生将被标记为编译器错误,这意味着要派生的所有类都应该在B类中派生.这将允许至少检查从A类派生的类的数量,但不会阻止任何人添加更多.
这里有谁有办法吗?如果基类不需要知道谁是它的孩子,那就更好了.
注意:充当基类的类本身可以实例化(它不是抽象的).
提前致谢,
编辑1:根据jon.h的评论,略有修改
// create a template class without a body, so all …Run Code Online (Sandbox Code Playgroud)