禁用RTTI后C++ std::locale使用触发崩溃问题求助

我来帮你分析下这个问题的根源，然后给出几个可行的解决办法：

这个崩溃的核心原因是std::locale内部依赖RTTI（运行时类型信息）来管理自定义的facet组件——也就是你写的commaNumpunct。当你用-fno-rtti禁用RTTI后，locale没办法通过typeid来识别动态分配的facet对象，后续调用相关方法时就会触发内存访问错误（SIGSEGV）。

下面是几种有效的解决方案：

方案1：改用静态facet实例绑定（最直观的修复） #

std::locale的构造函数支持直接传入facet的指针，只要这个facet的生命周期能覆盖整个locale的使用周期就行。我们可以把自定义的facet改成静态实例，这样就绕开了RTTI对动态分配对象的依赖：

#include <iostream>
class commaNumpunct: public std::numpunct<char> {
protected:
    char_type do_decimal_point() const {
        return ',';
    }
};

int main(int argc, char** argv) {
    std::locale locale;
    static commaNumpunct comma_facet; // 静态实例，生命周期贯穿整个程序
    std::locale locale2(locale, &comma_facet); // 传入指针而非动态new
    std::cout.imbue(locale2);
    std::cout << 1.43 << std::endl;
    return 0;
}

修改后再用g++ -fno-rtti main.cpp编译运行，就能正常输出1,43了。

方案2：特化std::numpunct模板（更标准的做法） #

另一种更符合C++ locale设计的方式是直接特化std::numpunct<char>，这样不需要手动创建facet实例，locale会自动使用这个特化版本，完全避开RTTI的问题：

#include <iostream>
#include <locale>

namespace std {
template<>
class numpunct<char> : public numpunct_byname<char> {
public:
    explicit numpunct(const char* name) : numpunct_byname<char>(name) {}
protected:
    char do_decimal_point() const {
        return ',';
    }
};
}

int main(int argc, char** argv) {
    std::cout.imbue(std::locale("")); // 使用当前系统的locale设置
    std::cout << 1.43 << std::endl;
    return 0;
}

注意特化std命名空间的模板是标准允许的，这种方式不仅解决了RTTI问题，还让代码更简洁。

方案3：为自定义facet手动指定locale id（适合必须动态分配的场景） #

如果你因为某些原因必须保留动态分配facet的写法，可以手动为commaNumpunct定义一个静态的std::locale::id，这样locale会通过这个id来识别facet，而不需要依赖RTTI：

#include <iostream>
#include <locale>

class commaNumpunct: public std::numpunct<char> {
public:
    static std::locale::id id; // 声明静态id
protected:
    char_type do_decimal_point() const {
        return ',';
    }
};

std::locale::id commaNumpunct::id; // 初始化id

int main(int argc, char** argv) {
    std::locale locale;
    std::locale locale2(locale, new commaNumpunct());
    std::cout.imbue(locale2);
    std::cout << 1.43 << std::endl;
    return 0;
}

动态分配的facet会被locale自动管理内存，不需要手动delete，这个方案也能在-fno-rtti下正常工作。

总结 #

最推荐方案1或方案2，它们既解决了崩溃问题，也符合C++的编码规范。方案3虽然可行，但动态分配facet的写法相对来说不如前两者简洁安全。

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