草庐IT

c++ - 这是实现通用 operator== 和 operator< 的安全方法吗？

coder 2023-11-12 原文

看到this question之后，我的第一个想法是定义通用等价和关系运算符是微不足道的:

#include <cstring>

template<class T>
bool operator==(const T& a, const T& b) {

    return std::memcmp(&a, &b, sizeof(T)) == 0;

}

template<class T>
bool operator<(const T& a, const T& b) {

    return std::memcmp(&a, &b, sizeof(T)) < 0;

}

using namespace std::rel_ops然后会变得更有用，因为它会被运算符的默认实现完全通用 ==和 < .显然，这不会执行成员比较，而是按位比较，就好像该类型只包含 POD 成员一样。这与 C++ 生成复制构造函数的方式并不完全一致，例如，确实执行成员复制。

但是我想知道上面的实现是否真的安全。这些结构自然会有相同的填充，属于相同的类型，但是填充的内容是否保证相同(例如，填充为零)？有什么原因或在什么情况下这不起作用？

最佳答案

不——举个例子，如果你有 T==(float | double | long double)，你的 operator==不能正常工作。两个 NaN 永远不应该比较为相等，即使它们具有相同的位模式(事实上，检测 NaN 的一种常用方法是将数字与其自身进行比较——如果它不等于自身，则它是 NaN)。同样，两个指数中所有位都设置为 0 的 float 具有值 0.0(准确)，而不管尾数中的哪些位可能被设置/清除。

你的 operator<正确工作的机会就更少了。例如，考虑 std::string 的典型实现看起来像这样:

template <class charT>
class string { 
    charT *data;
    size_t length;
    size_t buffer_size;
public:
    // ...
};

按照成员的顺序，您的 operator<将根据字符串恰好存储其数据的缓冲区地址进行比较。例如，如果它恰好是用 length 编写的成员优先，您的比较将使用字符串的长度作为主键。在任何情况下，它都不会根据实际字符串内容进行比较，因为它只会查看 data 的值。指针，而不是它指向的任何内容，这是您真正想要/需要的。

编辑:就填充而言，不要求填充的内容相等。理论上，填充也可能是某种陷阱表示，如果您甚至尝试查看它，它会导致信号、抛出异常或类似顺序的东西。为避免此类陷阱表示，您需要使用类似强制转换的方法将其视为 unsigned char 的缓冲区。秒。 memcmp可能会那样做，但又可能不会......

另请注意，相同类型的对象并不必然意味着使用相同的成员对齐方式。这是一种常见的实现方法，但编译器也完全有可能根据它“认为”特定对象的使用频率来使用不同的对齐方式，并在 in 表示此特定实例对齐方式的对象(例如，写入第一个填充字节的值)。同样，它可以按(例如)地址分隔对象，因此位于偶数地址的对象具有 2 字节对齐，位于四的倍数的地址具有 4 字节对齐，依此类推(这不能用于 POD 类型，但除此之外，所有投注均无效)。

这些都不太可能也不常见，但我也想不出标准中有任何禁止它们的地方。

关于c++ - 这是实现通用 operator== 和 operator< 的安全方法吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3610065/

operatorampcodesectionc++operatorsoperator-overloading

有关c++ - 这是实现通用 operator== 和 operator< 的安全方法吗？的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  5. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  6. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为

  7. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  8. ruby - Highline 询问方法不会使用同一行 - 2

    设置:狂欢ruby1.9.2高线(1.6.13)描述:我已经相当习惯在其他一些项目中使用highline，但已经有几个月没有使用它了。现在，在Ruby1.9.2上全新安装时，它似乎不允许在同一行回答提示。所以以前我会看到类似的东西:require"highline/import"ask"Whatisyourfavoritecolor?"并得到:Whatisyourfavoritecolor?|现在我看到类似的东西:Whatisyourfavoritecolor?|竖线(|)符号是我的终端光标。知道为什么会发生这种变化吗？ 最佳答案

  9. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  10. ruby - 主要 :Object when running build from sublime 的未定义方法 `require_relative' - 2

    我已经从我的命令行中获得了一切，所以我可以运行rubymyfile并且它可以正常工作。但是当我尝试从sublime中运行它时，我得到了undefinedmethod`require_relative'formain:Object有人知道我的sublime设置中缺少什么吗？我正在使用OSX并安装了rvm。 最佳答案 或者，您可以只使用“require”，它应该可以正常工作。我认为“require_relative”仅适用于ruby​​1.9+ 关于ruby-主要:Objectwhenrun

随机推荐