相关疑难解决方法(0)

考虑以下程序及其中的注释：

template<class T>
struct S_ {
    S_() = default;

    // The template version does not forbid the compiler
    // to generate the move constructor implicitly
    template<class U> S_(const S_<U>&) = delete;

    // If I make the "real" copy constructor
    // user-defined (by deleting it), then the move
    // constructor is NOT implicitly generated
    // S_(const S_&) = delete;
};

using S = S_<int>;

int main() {
    S s;
    S x{static_cast<S&&>(s)};
}

问题是：为什么用户自定义模板构造函数（当U = T时有效地充当副本构造函数）阻止了编译器生成move构造函数，相反，如果我定义了“真实”副本，构造函数（通过删除它），那么move构造函数不是隐式生成的（程序无法编译）吗？（可能的原因是，当T = U？时，“模板版本”也不遵守复制构造函数的标准定义。） …