如何将CGAL错误处理设为Assert而非Throw？实现无调试器调试中断

CGAL的全局错误行为由get_static_error_behaviour()控制，默认仅支持THROW_EXCEPTION和CONTINUE两种选项。要实现Assert模式（无需附加调试器即可触发调试中断），可以通过两种方式实现：

方案1：无需修改CGAL源码，自定义错误处理回调 #

CGAL允许通过set_error_handler()注册自定义错误处理函数，直接在回调中触发调试中断，无需改动库源码：

#include <CGAL/assertions.h>
#include <iostream>
#include <cstdlib>

// 自定义错误处理函数，触发调试中断
void custom_assert_handler(const char* expr, const char* file, int line, const char* msg)
{
    // 输出错误详情（可选）
    std::cerr << "CGAL断言失败: " << expr << "\n文件: " << file << ", 行号: " << line;
    if (msg) std::cerr << "\n信息: " << msg;
    std::cerr << std::endl;

    // 跨平台触发调试中断：VS用__debugbreak()，GCC/Clang用__builtin_trap()
#ifdef _MSC_VER
    __debugbreak();
#else
    __builtin_trap();
#endif
    std::abort();
}

int main()
{
    // 注册自定义错误处理函数
    CGAL::set_error_handler(&custom_assert_handler);

    // 你的业务代码
    CGALInnerPolygon cgalpoly;
    cgalpoly.push_back(CGALPoint(0, 0));
    cgalpoly.push_back(CGALPoint(1, 1));
    cgalpoly.push_back(CGALPoint(1, 0));

    CGALMultiPolygon multipolygon;
    multipolygon.insert(cgalpoly);

    printf("bye\n");
    return 0;
}

方案2：修改CGAL源码新增Assert全局选项 #

如果希望从库层面新增ASSERT作为全局行为选项，按以下步骤修改：

1. 扩展错误行为枚举：找到定义Error_behaviour的头文件（通常在CGAL/assertions.h或assertions_impl.h），在现有枚举后添加ASSERT：

enum Error_behaviour {
  THROW_EXCEPTION,
  CONTINUE,
  ASSERT // 新增Assert选项
};

2. 修改前置条件失败处理逻辑：在assertions_impl.h的precondition_fail()函数中，新增ASSERT分支的处理：

inline void precondition_fail(const char* expr, const char* file, int line, const char* msg)
{
  switch(get_static_error_behaviour()) {
    case THROW_EXCEPTION:
      throw Precondition_exception(expr, file, line, msg);
      break;
    case CONTINUE:
      std::cerr << "前置条件失败: " << expr << "\n文件: " << file << ", 行号: " << line << "\n";
      if (msg) std::cerr << msg << "\n";
      break;
    case ASSERT: // 新增Assert分支
      std::cerr << "前置条件失败（Assert）: " << expr << "\n文件: " << file << ", 行号: " << line << "\n";
      if (msg) std::cerr << msg << "\n";
#ifdef _MSC_VER
      __debugbreak();
#else
      __builtin_trap();
#endif
      std::abort();
      break;
    default:
      std::abort();
  }
}

3. 启用Assert模式：在业务代码开头设置全局错误行为：

CGAL::set_error_behaviour(CGAL::ASSERT);

关于示例代码的异常触发 #

你提供的示例中，Polygon_2默认要求顶点按**逆时针（CCW）**顺序排列，插入Polygon_set_2时会校验该前置条件。VS2022或新版CGAL调整了默认错误行为，从仅打印日志改为抛出异常（默认行为设为THROW_EXCEPTION）。使用上述方案后，会直接触发调试中断而非抛出异常。

内容的提问来源于stack exchange，提问作者Zohar Levi