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

Question

关于这个的两个问题：

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

• 是否可以强制 g++ 检查抛出说明符是否正确 - 我的意思是检查（这可以通过 one-pass compilers 完成）如果带有抛出说明符的函数调用函数，这可能只是通过观察他们的抛出说明符和来观察执行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++ 忽略 throw by：

#define throw(x)

关于您需要更改编译器代码或在构建过程中创建自己的脚本/程序来检查这些内容的其余部分，可以使用正则表达式轻松完成。

编辑：

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

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

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

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

它没有经过测试，可能有一些错误，但是开始的好地方