主页 / user-2752075

HolyBlackCat's questions

Martin Hope
HolyBlackCat
Asked: 2025-04-10 15:54:42 +0800 CST
  • 12

请注意，这是一个问题。我知道“变量”的常见含义，但我想了解标准中对“变量”的具体定义。我正在编写一些教学材料，想使用正确的定义。

变量通常被定义为“命名对象”，或者更准确地说是“已声明的对象”（因为变量可以未命名，但总是被声明）。

但还有第二种观点认为变量是一个编译时概念。根据这种定义，源代码中的一个声明始终对应一个变量，即使在运行时从该变量创建了多个对象。

哪一个是正确的？

这里有一个例子来说明这一点。假设你有

void foo(bool a)
{
    int x = 42;

    if (a)
        foo(false);
}

当你调用时foo(true)，两个 get 实例int x = 42;同时存在。

它们显然是两个不同的对象，但从技术上讲它们是不同的变量还是相同的变量？

如果变量是编译时的东西，那么两者就是同一个变量。

第二个定义从表面上看是错误的，但这里有一个 C++委员会成员认为它是正确的。

c++
Martin Hope
HolyBlackCat
Asked: 2025-02-07 03:22:42 +0800 CST
  • 8

我为“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 很乐意接受此代码。哪个编译器是正确的？

c++
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++