c++ - 意外丢失隐式声明的复制/移动构造函数

Question

考虑以下因素:

#include <type_traits>

template <typename>
struct F;

template <typename R, typename... As>
struct F<R(As...)>
{
    template <typename F_, std::enable_if_t<
        std::is_invocable_r_v<R, std::decay_t<F_>, As...>>*...>
    F(F_&&) {}

    F() = default;

    template <typename... As_, std::enable_if_t<
        std::is_invocable_v<void(As&&...), As_...>>*...>
    R operator()(As_&&...)
    { return R(); }
};

struct C
{
    F<C()> f_;

    // C(C&&) = default;  // <<< 1
};

int main() {
    F<C(int)> x;
    auto y = x;
}

gcc 7.3.0 无法编译它(在 std::is_invocable_r 深处):

error: invalid use of incomplete type
    ‘struct std::__or_<std::is_void<C>, std::is_convertible<C, C> >’

与 clang 5.0.1 一样:

error: no type named 'type' in
    'std::__or_<std::is_void<C>, std::is_convertible<C, C> >'

据此我推断 C 缺少移动和复制构造函数。事实上，如果我们取消注释其移动构造函数 (1)，该代码就会编译。

我相信隐式声明它们的要求已经满足。为什么不是？

Answer 1

我最好的猜测是:

F<C()> f_;

C 是不完整类型。在 F 中，C 替换模板参数 R，然后将其用作 std::is_invocable_r_v 的模板参数>。标准不允许使用不完整类型作为 std::is_invocable_r_v 的模板参数，这会导致未定义的行为。未定义的行为包括编译器在编译期间的任意行为。

---

请注意，我并不完全确定我的答案，主要是因为模板化的 F::F 构造函数及其模板化的 operator() 都没有被实例化。