HolyBlackCat's questions

我为“implies”运算符创建了一个宏。它通常运行良好，但在概念或要求子句中使用时，Clang 会中断。

run on gcc.godbolt.org

namespace detail
{
    template <typename T>
    concept BoolLike = requires(T &&t) {(T &&)t ? true : false;};

    struct Implies
    {
        template <BoolLike T>
        friend constexpr bool operator||(T &&lhs, Implies)
        {
            return !bool((T &&)lhs);
        }
    };
}

#define IMPLIES ||::detail::Implies{}||

template <typename T>
concept A = true IMPLIES true;

static_assert(A<int>);

Clang 说：

<source>:19:18: error: atomic constraint must be of type 'bool' (found '::detail::Implies')
   19 | concept A = true IMPLIES true;
      |                  ^~~~~~~
<source>:16:19: note: expanded from macro 'IMPLIES'
   16 | #define IMPLIES ||::detail::Implies{}||
      |                   ^~~~~~~~~~~~~~~~~~~

虽然 GCC 和 MSVC 很乐意接受此代码。哪个编译器是正确的？

考虑以下代码：

#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？

我正在阅读 上的文档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 字符串 ( const char *)，我想将其转换为 C++20 范围 (a forward_range) 以对其应用一些标准算法。

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

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