主页 / user-2752075

HolyBlackCat's questions

Martin Hope
HolyBlackCat
Asked: 2024-11-12 01:03:30 +0800 CST
  • 10

考虑以下代码：

#include <iostream>
#include <string>

union U
{
    std::string s;

    U()
    {
        new(&s) std::string;
    }

    void Set(std::string new_s)
    {
        s.~basic_string();
        new(&s) std::string(std::move(new_s));
    }

    ~U()
    {
        s.~basic_string();
    }
};

int main()
{
    U u;
    u.Set("foo");
    std::cout << u.s << '\n'; // Do I need `std::launder` here?
}

我知道如果我使用字节数组而不是联合，我必须std::launder(&s)访问字符串。但我在这里需要它吗？

常识性的答案似乎是“不”，但是标准在哪里可以保证union不需要呢std::launder？

c++
Martin Hope
HolyBlackCat
Asked: 2024-09-20 19:16:25 +0800 CST
  • 11

我正在阅读 上的文档std::expected::operator==，显然它对 SFINAE 不友好。它不是说“如果 [类型不可等价比较]，则不参与过载解析”，而是说“程序格式不正确 [在这种情况下]”。

确实如此：

#include <concepts>
#include <expected>

struct A {};

static_assert(!std::equality_comparable<std::expected<A, A>>);

此断言在 MSVC 和带有 libc++ 的 Clang 上失败，并在带有 MSVC STL 的 Clang 上导致硬错误。

但为什么它不适合 SFINAE 呢？

std::expected<T,U>无论如何都需要T并且U是完整的，所以似乎没有什么可以阻止对其的所有操作以实现 SFINAE 友好性。

c++
Martin Hope
HolyBlackCat
Asked: 2024-01-21 13:46:46 +0800 CST
  • 8

我有一个 C 字符串 ( const char *)，我想将其转换为 C++20 范围 (a forward_range) 以对其应用一些标准算法。

我不想使用，std::string_view因为我不想计算它的长度（字符串可以很长，我只关心前几个字符）。幸运的是，aforward_range不需要提前知道它的长度。

我该怎么做呢？我可以编写一个自定义迭代器，但希望有一种更简单的方法。

c++