为什么我的两个元组包含相同创建方式的字符串，而不是相等的？

Question

我正在使用Microsoft Visual C将以下程序编译为C 20程序：

#include <iostream>
#include <tuple>

int main()
{
    auto t1 = std::make_tuple("one", "two", "three");
    auto t2 = std::make_tuple("one", "two", "three");
    
    std::cout << "(t1 == t2) is " << std::boolalpha << (t1 == t2) << "\n";
    std::cout << "(t1 != t2) is " << std::boolalpha << (t1 != t2) << "\n";

    return 0;
}

当我运行它时，我看到以下输出：

(t1 == t2) is false
(t1 != t2) is true

元组是相同的，那么为什么它有错误的比较结果呢？我该如何解决这个问题？

Answer 1

这个问题与C20无关，但源于字符串字面值的实现方式。例如，答案如下：

为什么（仅）某些编译器对相同的字符串文本使用相同的地址？

简而言之，您的程序属于“ 未定义 未指定行为”类别，因为它假定相同的C样式字符串文字具有相同的地址。这是因为像“a”==“a”这样的表达式比较地址，而不是内容。如果您使用std:：string文本，例如“one”s

Answer 2

“一”的类型是什么？这不是字符串，而是字符串文本。

您的问题基本上归结为以下代码：

char const* a = "one";
char const* b = "one";

std::cout << "(a == b) is " << std::boolalpha << (a == b) << "\n";
std::cout << "(a != b) is " << std::boolalpha << (a != b) << "\n";

这很可能会输出相同的结果。

这是因为字符串文字将衰减为char const*。比较两个指针会比较它们在内存中的位置。现在，问题是编译器是否将字符串文字折叠为一个。如果字符串文字折叠，那么它们将相等，如果不折叠，它们将不相等。这可能因不同的优化级别而异。

那么，您如何确定您的比较呢？

最好使用std:：string_view，因为您似乎不需要拥有或更改其内容：

using namespace std::literals;

// ... 

auto t1 = std::make_tuple("one"sv, "two"sv, "three"sv);
auto t2 = std::make_tuple("one"sv, "two"sv, "three"sv);

std：：string_view 类是围绕指针和大小的薄包装器，并定义一个检查值是否相等的比较运算符。

Answer 3

您正在将指针与字符缓冲区（而不是字符串）进行比较。

有时编译器会将两个不同的“one”转换为同一个缓冲区，有时则不会。

在你的情况下，它不是。可能是调试版本。

添加#include

using namespace std::literals;

auto t1 = std::make_tuple("one"sv, "two"sv, "three"sv);
auto t2 = std::make_tuple("one"sv, "two"sv, "three"sv);

你会得到你所期望的。（在 c 之前的 17 编译器中，使用