标签: c++20

根据en.cppreference.com（据我所知）：

• std::is_convertible被性状类需要类型From＆To为使得与返回类型的函数To返回一个From值可以通过编译。
• std::convertible_to是一个概念，要求类型From&To如上所述，AND使得类型的r 值引用From可以转换为static_cast<To>。

强加的要求std::is_convertible似乎相对简单。相反，对于 C++20 特性的简单示例中显示的这种通用概念，r 值引用转换要求std::convertible_to似乎奇怪地特定。

作为 C++ 的新手，我无法完全理解两个网页中提供的一些术语和部分补充说明，我无法想象两者的要求之间的确切区别。

一些相互关联的问题：

• 类型From& Toof 不仅受到std::is_convertible奇怪的 r 值引用转换要求的约束，而且受到奇怪的 r 值引用转换要求的实际影响是什么？
• 什么样的候选人类型的From和To被附加由R值参考铸件的要求被拒绝？
• 为什么程序员可能想要使用std::is_convertible或std::convertible_to中的一个而不是另一个作为其函数返回类型或参数类型的约束（除了概念的便利性）？

一个更简单的解释或一个例子会有所帮助。谢谢！

模块是#includes的替代品.Clang有一个完整的C++实现.如果我现在想使用Clang使用模块,我该怎么办？

运用

import std.io;

在C++源文件中还没有工作(编译),因为模块的规范(包括语法)不是最终的.

该锵文件指出,经过时-fmodules标志,#包括将被改写到相应的进口.但是,检查预处理器会另外建议(test.cpp只包含#include <stdio.h>一个空的main):

$ clang++-3.5 -fmodules -E test.cpp -o test
$ grep " printf " test
extern int printf (const char *__restrict __format, ...);

此外,使用-fmodulesvs no flags 编译此测试文件会产生相同的目标文件.

我究竟做错了什么？

C ++ 20功能std::source_location用于捕获有关调用函数的上下文的信息。当我尝试将其与可变参数模板函数一起使用时，遇到一个问题：我看不到放置source_location参数的地方。

以下操作无效，因为可变参数必须在末尾：

// doesn't work
template <typename... Args>
void debug(Args&&... args,
           const std::source_location& loc = std::source_location::current());

以下内容也不起作用，因为调用者将被介于两者之间的参数所困扰：

// doesn't work either, because ...
template <typename... Args>
void debug(const std::source_location& loc = std::source_location::current(),
           Args&&... args);

// the caller will get confused
debug(42); // error: cannot convert 42 to std::source_location

可以在可变参数模板中无缝使用的评论中告诉我std::source_location，但是我很难弄清楚该如何做。如何std::source_location与可变参数模板函数一起使用？

根据cppreference，volatile关键字的大多数用法在 C++20 中将被弃用。的缺点是volatile什么？不使用时的替代解决方案是什么volatile？

_{以下所有标准参考均指N4861（2020 年 3 月布拉格后工作草案/C++20 DIS）。}

背景

在问答中 无捕获的 lambda 是结构类型吗？很明显，某些 lambda 表达式具有关联的闭包类型，这些闭包类型是（文字和）结构类型，因此特定的此类闭包类型可以用作非类型模板参数；本质上将结构类型 lambda 作为非类型模板参数传递。

template<auto v>
constexpr auto identity_v = v;

constexpr auto l1 = [](){};
constexpr auto l2 = identity_v<l1>;

Run Code Online (Sandbox Code Playgroud)

现在，根据[expr.prim.lambda.closure]/1 ，每个 lambda 表达式的类型都是唯一的

[...] 一个独特的、未命名的非联合类类型，称为闭包类型[...]

另一方面，[basic.def.odr]/1 [extract,强调我的]指出

任何翻译单元不得包含任何变量、函数、类类型、枚举类型、模板、参数的默认参数（对于给定范围内的函数）或默认模板参数的多个定义。

可以说，默认模板参数被认为是需要尊重 ODR 的定义。

题

...这引出了我的问题：

• lambda 表达式是否是合法的默认（非类型模板）参数，如果是，这是否意味着使用这种默认参数的每个实例化都会实例化一个独特的特化？

（如果接近非法，也请强调：例如，如果超出单个实例化的任何事情都会导致 ODR 违规）。

为什么？

如果这实际上是合法的，则每次调用带有 lambda 作为默认参数的变量模板都会导致唯一特化的实例化：

template<auto l = [](){}>
               // ^^^^^^ - lambda-expression as …

我的一个朋友给我看了一个 C++20 程序：

#include <iostream>

struct A
{
    A() {std::cout << "A()\n";}
    ~A() {std::cout << "~A()\n";}
};

struct B
{
    const A &a;
};

int main()
{
    B x({});
    std::cout << "---\n";
    B y{{}};
    std::cout << "---\n";
    B z{A{}};
    std::cout << "---\n";
}

在 GCC 中，它打印：

A()
~A()
---
A()
---
A()
---
~A()
~A()

https://gcc.godbolt.org/z/ce3M3dPeo

因此，A在 y 和 z 情况下，的寿命会延长。

在 Visual Studio 中，结果是不同的：

A()
~A()
---
A()
---
A()
~A()
---
~A()

所以A只有在 y …

constexpr std::string尝试创建and对象时出现奇怪的编译器错误std::vector：

#include <vector>
#include <string>

int main()
{
    constexpr std::string cs{ "hello" };
    constexpr std::vector cv{ 1, 2, 3 };
    return 0;
}

编译器抱怨“表达式必须具有常量值”：

我错过了什么吗？我使用的是最新的 Microsoft Visual Studio 2019 版本：16.11.4，并且参考（https://en.cppreference.com/w/cpp/compiler_support）指出constexpr此编译器版本支持字符串和向量：

我也尝试过constexpr std::array，它确实有效。该问题是否与向量相关的动态内存分配有关？

标准的多个部分表明，推导指南不能具有显式说明符，而只能在其前面具有显式关键字。

喜欢：

在temp.deduct.duide

演绎指南：

显式_opt 模板名称（parameter-declaration-clause）-> simple-template-id ;

请注意，该标准说：显式_opt而不显式-说明符。

或在dcl.fct.spec中

的显式说明符，应仅在其类定义内的构造或转换函数的声明被使用; ...

但该标准还在over.match.class.deduct中指出

如果函数或函数模板是从具有显式说明符的构造函数或推导中生成的，则每个这样的概念性构造函数均被视为具有相同的显式说明符。