标签: c++26

从 C++11 开始，我们可以在编译时进行浮点数学运算。C++23 和 C++26 添加了constexpr一些函数，但不是全部。

constexpr一般来说，浮点数学很奇怪，因为结果并不完全准确。然而，constexpr代码应该始终提供一致的结果。C++ 如何解决这个问题？

问题

• constexpr浮点数学 是如何工作的？
  • 所有编译器的结果都相同吗？
  • 对于同一编译器，编译时和运行时的结果是否相同？
• 为什么有些功能有效constexpr，而其他功能则不然（例如std::nearbyint）

据我所知，静态反射目前在 C++26 的路线图上。

反射TS提出了基于类型的语法，但同时也提出了基于值的语法。在P2560 Mat\xc3\xba\xc5\xa1 Chochl\xc4\xb1\xcc\x81k 中，对两种方法进行了比较。

是否已经决定哪种方法可能标准化？

当我编译以下代码时，我收到警告（https://godbolt.org/z/Tx7v6jWf1）：

void foo() {
    int _;
    // warning: name-independent declarations only available with
    //           '-std=c++2c' or '-std=gnu++2c' [-Wc++26-extensions]
    int _;
}

C++26 中的变量到底发生了什么变化_，什么是名称独立声明？

包索引是在 C++26 中引入的，我希望此功能能够对元编程产生重大影响，特别是对于索引包，否则需要解决方法。

由于包索引说明符的语法是：

typedef-name ... [ expression ] 

• 其中typedef-name是identifier或simple-template-id

有了上述信息，是否允许：

template <typename>
using apply_t = bool;

// #1
template <typename... Args>
using A = apply_t<Args>...[0];
// can be reworked with: apply_t<Args...[0]>

// #2
template <template <typename...> typename... Temps>
using B = Temps<>...[0]
// no other way other than this because 'Temps...[0]<>' is not allowed yet (?)

我知道至少大多数Ranges 视图类型不需要任何堆分配。例如，您可以在堆栈上获取一个 C 数组并通过管道将其通过，std::views::take(42)而不会导致任何堆分配。

但我知道有很多模糊的视图适配器，例如，，，views::join每年都会有更多的视图适配器出现，仅仅因为今天大多数视图适配器显然不分配（在常见情况下）并不意味着所有视图适配器永远不会分配。views::istreamviews::chunk_by