主页 / user-1593077

einpoklum's questions

Martin Hope
einpoklum
Asked: 2024-09-22 03:02:11 +0800 CST
  • 6

CMake 现在已经有一种称为“CMake 文件 API”的东西：

CMake 提供了一个基于文件的 API，客户端可以使用该 API 获取有关 CMake 生成的构建系统的语义信息。客户端可以通过将查询文件写入构建树中的特定位置来使用该 API，以请求零个或多个对象类型。当 CMake 在该构建树中生成构建系统时，它将读取查询文件并编写回复文件供客户端读取。

我不明白这个 API 应该何时使用，由谁使用。因此，我不明白，作为使用 CMake 的项目维护者，我是否需要担心这个 API 并“迎合”使用它来满足请求。我需要吗？

注意：如果答案取决于我维护哪种 CMake 项目 - 请选择几个示例（因为我在多种项目中使用 CMake）。

cmake
Martin Hope
einpoklum
Asked: 2024-09-05 17:27:02 +0800 CST
  • 8

假设我有一个函数，它接受一些指针参数 - 一些非常量，可以通过它们写入，一些常量，只能通过它们读取。示例：

void f(int * a, int const *b);

还假设该函数不会以其他方式写入内存（即不使用全局变量，固定地址，将 const 指针重铸为非常量以及诸如此类的技巧）。

现在，是否足以（按照 C 语言标准）实现restrict内所有读取的好处f()，而仅restrict输出参数？即在示例中，限制a但不限制b？

一个简单的测试（GodBolt）表明这种限制应该足够了。此来源：

int f(int * restrict a, int const * b) {
    a[0] += b[0];
    return a[0] + b[0];
}

int all_restricted(int * restrict a, int const * restrict b) {
    a[0] += b[0];
    return a[0] + b[0];
}

int unrestricted(int * a, int const * b) {
    a[0] += b[0];
    return a[0] + b[0];
}

为 x86_64 生成相同的目标代码：

f:
        mov     eax, DWORD PTR [rsi]
        mov     edx, DWORD PTR [rdi]
        add     edx, eax
        mov     DWORD PTR [rdi], edx
        add     eax, edx
        ret
all_restricted:
        mov     eax, DWORD PTR [rsi]
        mov     edx, DWORD PTR [rdi]
        add     edx, eax
        mov     DWORD PTR [rdi], edx
        add     eax, edx
        ret
unrestricted:
        mov     eax, DWORD PTR [rsi]
        add     eax, DWORD PTR [rdi]
        mov     DWORD PTR [rdi], eax
        add     eax, DWORD PTR [rsi]
        ret

但这并非普遍的保证。

c
Martin Hope
einpoklum
Asked: 2024-09-04 22:48:25 +0800 CST
  • 6

动机

数组参数可以互为别名，编译器必须小心考虑这种可能性。例如：GodBolt

int foo(int a[10], int b[10]) {
    a[0] += b[0];
    return a[0] + b[0];
}

int bar(int *a, int *b) {
    a[0] += b[0];
    return a[0] + b[0];
}

int baz(int * __restrict a, int * __restrict b) {
    a[0] += b[0];
    return a[0] + b[0];
}

的编译代码foo()必须与 的类似bar()，而不是 的类似baz()。

问题

我想在我的函数中使用数组参数 - 甚至可能是多维数组（不是指针数组；那种用一对方括号声明并衰减为指向第一个元素的简单一级指针的数组）。我还想让编译器假定没有别名，即我想将我的数组参数标记为restrict'ed。

我怎样才能用 C 语言做到这一点？如果我不能做到这一点 - 那是什么原因？

arrays
Martin Hope
einpoklum
Asked: 2024-03-01 23:51:04 +0800 CST
  • 7

我正在使用 MSVC 16 2019，并打开了许多警告，包括 C4127：条件表达式是常量。但是，我的代码如下所示：

template <bool B>
void foo(int x) {
    if (B && x == 0) { do_stuff(); }
    do_other_stuff();
}

...当 B 为 false 时会触发警告。

我想一般保留此错误，但我不希望它在条件表达式的常量性仅由于模板实例化时无缘无故地发出警告。

注意：这个问题是相关的，但是 - 代码不会（显着）改变，所以这不是我要问的。C++17 中也没有。

c++
Martin Hope
einpoklum
Asked: 2023-12-02 00:55:27 +0800 CST
  • 8

考虑以下代码片段（改编自 cppreference.com）：

constexpr std::string_view text{"Hello-+-C++-+-23-+-!"};
constexpr std::string_view delim{"-+-"};
std::ranges::for_each(text | std::views::lazy_split(delim), act_on_substring);

我想对流做同样的事情 - 比如说std::cin- 而不是text. 我试过了：

auto isv = std::views::istream<std::string>(std::cin);
constexpr std::string_view delim{"-+-"};
std::ranges::for_each(isv | std::views::lazy_split(delim), act_on_substring);

但这段代码无法编译：

<source>:21:31: error: invalid operands to binary expression ('basic_istream_view<basic_string<char, char_traits<char>, allocator<char>>, char, char_traits<char>>' and '_Partial<_LazySplit, decay_t<const basic_string_view<char, char_traits<char>> &>>' (aka '_Partial<std::ranges::views::_LazySplit, std::basic_string_view<char, std::char_traits<char>>>'))
   21 |     std::ranges::for_each(isv | std::views::lazy_split(delim), act_on_substring);
      |                           ~~~ ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

为什么？

c++