c++ - enable_if 和 is_move_constructible 允许不可移动类型，但 require 不允许

Question

我有一个不可移动的结构和一个模板类，我希望其中有一个仅当类型可移动时才存在的函数(使用enable_if和type_traits)。然而，尽管 std::is_move_constructible_v 返回 false，该函数似乎仍然存在并且可以执行。但是，当我将代码更改为使用需要子句时，一切都按预期进行。 这是为什么？

#include<bits/stdc++.h>

class NonMovable{
    public:
        NonMovable(const NonMovable&) = default;
        NonMovable(NonMovable&&) = delete;
        
        NonMovable& operator =(const NonMovable&) = default;
        NonMovable& operator = (NonMovable&&) = delete;
        
        NonMovable() = default;
};

template<typename T>
struct Foo{
    template<typename = std::enable_if<std::is_move_constructible_v<T>,bool>>
    void foo(T&& t){ // allowed
        // ...
    }
};

template<typename T>
struct Foo{
    void foo(T&& t) requires std::is_move_constructible_v<T>{ // not allowed
        // ...
    }
};

int main(){
    NonMovable nonMovable;
    Foo<NonMovable> x;
    std::cout << std::is_move_constructible_v<NonMovable> << "\n"; // 0
    x.foo(std::move(nonMovable));
}

Answer 1

如果您只想对不可移动的可构造类型禁用该 foo 函数，则可以将模板参数设置为依赖类型:

template<typename T>
struct Foo{
    template<class U = T, class = std::enable_if_t<
                                      std::is_same_v<T,U>&&
                                      std::is_move_constructible_v<U>>>
    void foo(T&&){ // not allowed
        // ...
    }
};

Demo