enable_if 和 is_move_constructible 允许不可移动类型，但 requires 不允许

问题描述

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

#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));
}

解决方法

如果您只想为不可移动构造类型禁用该 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

,

正如@Nathan Pierson 在评论中提到的，应该有 enable_if_t 而不是 enable_if