可以 g++检查抛出说明符？

Question

关于此的两个问题：

• 有没有办法强制g++忽略throw说明符？
  （例如，据我记得，Visual Studio 忽略 throw 说明符，与 throw() 不同）

• 是否可以强制 g++ 检查 throw 说明符是否是正确的 - 我的意思是检查（这可以通过一次性编译器来完成 ) 如果函数具有throw 说明符调用函数，该函数可能会通过观察它们的 throw 说明符和监视执行 throw 异常而抛出，这会违反说明符？ （注意：这不应该在没有 throw 说明符的情况下监视函数，因为这可能会导致大量警告）

---

编辑：我将为我的第二个问题添加一些示例。

假设我们有：

// sorry for the coding style here, but I don't want it to be unnecessary long
class A { /* .. */ };
class B : public A { /* .. */ };
class C { /* .. */ };
void no_throw_spec() { /* .. */ }
void no_throw_at_all() throw() { /* .. */ }
void throws_A() throw( A ) { /* .. */ }

// this is fine, don't do anything
void f() 
{ no_throw_spec(); no_throw_at_all(); throws_A(); }

void g() throw()
{ 
    no_throw_spec(); no_throw_at_all(); // OK
    throws_A();  // warning here - throws_A() may throw A, but g() has throw()!
}

void h() throw( A )
{
    no_throw_spec(); no_throw_at_all(); throws_A(); // OK
    if( /* .. */ ) 
        throw B(); // OK, B inherits A, it's OK
    /* .. */
    throw C();    // C does not inherit A, so WARNING!
}

Answer 1

• gcc 有一个选项 -fno-enforce-eh-specs，请参阅文档并检查它是否符合您的要求。

• 我不记得任何使用 gcc 静态检查异常规范的方法。

请注意，（动态）异常规范在 C++0X 中已被弃用，它添加了一个 noexcept 异常规范来替换空的异常规范情况（它也是动态检查的，并且具有帮助在模板中使用它的规定）。

Answer 2

是的，您可以通过以下方式使 g++ 忽略抛出：

#define throw(x)

关于其余的内容，您需要更改编译器代码或在构建过程中制作自己的脚本/程序来检查这些事情，可以使用 regexp 轻松完成。

编辑：

关于您的评论，找到异常的层次结构非常容易。使用正则表达式，例如：

class ([^ ]*) : ([^ ]*)

并将其输入到哈希中，然后生成分层数据。
要匹配抛出它们的函数中的异常，请使用：

([^\(\s]*)[\s]*([^\)])[\s]*(throw[\s]*\([^\)]*\)){((throw[\s]*[^;])|*)*}

它未经测试，可能有一些错误，但很好的起点