为什么std:：is invocable\r拒绝返回不可移动类型的函数？

Question

我很好奇std:：is_invocable_r的定义，以及它如何与不可移动类型交互。基于我对它应该模仿的语言规则的理解，它在C 20模式下的clang下的libc实现似乎是错误的，所以我想知道我的理解有什么不正确之处。

假设我们有一个不能移动或复制构造的类型，以及一个返回它的函数：

struct CantMove {
  CantMove() = default;
  CantMove(CantMove&&) = delete;
};

static_assert(!std::is_move_constructible_v<CantMove>);
static_assert(!std::is_copy_constructible_v<CantMove>);

CantMove MakeCantMove() { return CantMove(); }

然后可以调用该函数来初始化CantMove对象（我认为是由于复制省略规则）：

CantMove cant_move = MakeCantMove();

类型特征同意函数是可调用的，并返回CantMove：

using F = decltype(MakeCantMove);
static_assert(std::is_invocable_v<F>);
static_assert(std::is_same_v<CantMove, std::invoke_result_t<F>>);

但是，std:：is_invocable_r表示，调用它来生成可转换为CantMove的内容是不可能的，至少在C 20中，在clang下是这样的：

static_assert(!std::is_invocable_r_v<CantMove, F>);

std:：is invocable\r的定义是

表达式INVOKE

使用调用

定义调用

而INVOKE定义（在本例中）为简单的MakeCantMove（）。但关于是否可能进行隐式转换的定义是：

表达式E可以隐式转换为类型T当且仅当声明T=E是格式良好的，对于一些发明的临时变量t（[dcl.init]）。

但我们在上面看到了CantMove cant_move=MakeCantMove（） 。那么，clang接受这个初始化是错误的，还是std:：is_invocable_r_v的实现是错误的？还是我对标准的解读有误？

作为记录，我关心这个问题的原因是，像std:：move_only_function（我正在使用一个高级端口来连接这个函数的C20）这样的类型，其成员的重载集受到std:：is_invocable_r_v的限制，我发现不可能有效地处理返回这种不移动类型的函数。这是故意的吗？如果是，为什么？




Answer 1

匿名用户

那么，clang接受这个初始化是错误的，还是std:：is_invocable_r_v的实现是错误的？

这是libc的一个bug。在实现<代码>is_invocable_r时，它使用<代码>is_convertible来确定结果是否可以隐式转换为<代码>T，这是不正确的，因为<代码>is convertible_v

值得注意的是，libstdc和MSVC-STL都有关于这个问题的错误报告，这些报告已经修复。