意外缺少隐式声明的复制/移动构造函数

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() 都没有被实例化。