從相同的值和相同的類別構造的 std::error_code 和 std::error_condition 總是等價的嗎？

Question

我知道 error_code 與系統相關，而 error_condition 與系統無關，但這是否意味着如果我們在構造它們時指定值和類別，它們會有所不同。 例如：

std::error_code ecode(1, std::system_category());

std::error_condition econd(1, std::system_category());

if (ecode == econd) // is this condition always true no matter what platform we are in??

以上在 macOS 中的 XCode 中都是正確的，所以我想知道如果我們在其他平台（例如 Windows）中是否總是如此。

如果是這樣，這是為什么會出現這種情況給出ecode取決於系統和econd是系統無關？

Answer 1

他們不是。 錯誤代碼和條件的相等性由類別成員函數“等效”確定，您可以編寫一個永遠不會使任何代碼和條件相等的類別。 例如：

#include <system_error>
#include <iostream>

struct cat_type : std::error_category
{
    const char *name() const noexcept { return "name"; }
    std::string message(int) const { return "message"; }
    bool equivalent(int, const std::error_condition &) const noexcept { return false; }
    bool equivalent(const std::error_code &, int) const noexcept { return false; }
} cat;

int main() {
    std::error_code ecode(1, cat);
    std::error_condition econd(1, cat);
    std::cout << (ecode == econd) << '\n';
}

該程序打印 0，因為調用了等效的每個重載並且它們都返回 false，因此它們不相等。

但是，對於std::system_category ，標准要求equivalent函數具有默認行為（參見 N4800 第 18.5.2.5 節 syserr.errcat.objects 第 4 段），並且由於默認行為是考慮具有相同類別的代碼和條件和價值相等，他們將比較相等。