std::string 转换为 const char * 在 std::unordered_set<const char *> 中找不到

std::string casted to const char * can not be found in an std::unordered_set<const char *>

在做一个项目时,我 运行 遇到了以下我无法解释的问题。

我有以下 is_in_set(..) function,它只是检查 cstring 是否在 unordered_set 个 cstrings 中:

bool is_in_set(const char * str, std::unordered_set<const char *> the_set)
{
    if ( the_set.find( str ) != the_set.end() )
        return true;
    else
        return false;
}

然后我创建了以下示例主要方法来演示我的问题:

int main()
{
    std::unordered_set<const char *> the_set({"one",
        "two", "three", "four", "five"});

    std::string str = "three";
    const char * cstr = "three";

    std::cout << "str in set? "
        << is_in_set( str.c_str() , the_set ) << std::endl
        << "cstr in set? " 
        << is_in_set( cstr, the_set ) << std::endl;

    const char * str_conv = str.c_str();

    std::cout << "str_conv in set? "
        << is_in_set( str_conv , the_set ) << std::endl
        << "strcmp(str_conv, cstr) = " << strcmp( str_conv , cstr )
        << std::endl;

    return 0;
}

我希望上面的代码能够找到转换为 const char* 的 std::string,以及集合中的 cstring。 相反,它会生成以下输出(Visual Studio Community 2017):

str in set? 0
cstr in set? 1
str_conv in set? 0
strcmp(str_conv, cstr) = 0

我还 运行 对两个变量进行 for 循环,为每个变量逐字节输出(以十六进制表示),结果如下:

74 68 72 65 65 00 = c_str
74 68 72 65 65 00 = str_conv

为什么在集合中找不到 std::string 转换为 const char *? 在这种情况下,strcmp return 不应该是一个不同于 0 的值吗?

对于const char *,没有重载按值比较字符串的==运算符,所以我相信unordered_set容器总是比较指针,而不是比较字符串的值pointed-to 个字符串。

作为优化,编译器可以使具有相同字符的多个字符串文字使用相同的内存位置(因此具有相同的指针),这就是为什么您可以在使用另一个字符串时找到该字符串文字。但是你通过其他机制构造的任何字符串,即使它包含相同的字符,也不会位于相同的内存位置,因此指针将不相等。

如果您确定在使用哈希表时您的字符串不会离开堆栈,请使用 std::unordered_set<std::string> 或提供自定义哈希器,例如静态变量或分配 new/malloc 等

类似于:

struct str_eq {
  bool opeator()(const char* lsh, const char rhs) const noexcept
  {
    return lsh == rhs || 0 == std::strcmp(lsh, rhs);
  }  
};


struct str_hash {
   std::size_t opeator()(const char* str) const noexcept
   {
     // some mur-mur2, google cityhash hash_bytes etc instead of this
      return std::hash<std::string>( std::string(str) ) ();
   }
};

typedef std::unordered_set<const char*, str_hash, str_eq, std::allocator<const char*> > my_string_hashset;

正如@Daniel Pryden 所指出的,您正在进行地址比较。要解决此问题,您需要让 unordered_set 存储 std::string 对象,或者为要使用的 unordered_set 创建自定义比较。

根据对 的回答,如下所示:

struct StringEqual
{
    bool operator()(const char* a, const char* b) { return 0 == strcmp(a,b); }
};

std::unordered_set<const char *, std::Hash<const char*>, StringEqual> the_set(
    {"one", "two", "three", "four", "five"});

应该可以解决问题。这为 unordered_set 提供了一个更好的运算符来测试字符串。

有关 Pred 模板参数的详细信息,请参阅 documentation