move std 函数 示例_std::enable_if

### 回答1：
`std::enable_if` 是一个用于模板元编程的类型特性，可以根据某些条件来选择是否启用一个模板函数。它通常与函数模板一起使用，以便根据某些条件来选择函数的实现。

下面是一个示例代码，展示如何在函数模板中使用 `std::enable_if`。

#include <iostream>
#include <type_traits>

template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
my_abs(T num) {
    return num < 0 ? -num : num;
}

int main() {
    int a = -5;
    double b = -3.14;

    std::cout << my_abs(a) << std::endl;   // 输出 5
    // std::cout << my_abs(b) << std::endl;   // 编译错误，因为 double 不是整数类型
    return 0;
}

在上面的代码中，`my_abs` 是一个函数模板，它接受一个类型为 `T` 的参数，并返回 `T` 类型的值。然而，`my_abs` 只能用于整数类型，因为我们使用了 `std::enable_if` 来限制了类型。具体来说，我们使用 `std::is_integral<T>::value` 来判断 `T` 是否是整数类型，如果是，则返回 `T` 类型的值；否则，编译器将无法匹配函数模板，从而报错。

在上面的示例中，我们给 `my_abs` 函数传递一个整数和一个浮点数作为参数。对于整数参数，`std::enable_if` 的条件为真，从而选择返回整数类型的值；对于浮点数参数，`std::enable_if` 的条件为假，从而导致编译错误。

注意，在 C++11 中，`std::enable_if` 是通过 SFINAE 技术实现的，因此它只能用于模板函数和模板类的实例化。如果在普通函数中使用 `std::enable_if`，则会导致编译错误。

### 回答2：
`std::move`函数是C++标准库中的函数之一，用于将对象的所有权转移给另一个对象。在使用`std::move`时，要注意被移动的对象处于有效状态的前提下，即已分配了资源或有某种内部状态。否则，`std::move`可能会导致未定义的行为。

`std::enable_if`是C++标准库中的类型转换辅助工具，用于在编译时根据条件选择是否启用特定函数的重载。如果条件为真，`std::enable_if`将返回一个特定的类型，使得函数重载匹配成功；而如果条件为假，`std::enable_if`将导致该函数在编译时被忽略，从而避免了函数重载冲突。

下面是一个使用`std::move`和`std::enable_if`的示例：

#include <iostream>
#include <type_traits>

template <typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
add(T a, T b) {
    return a + b;
}

template <typename T>
typename std::enable_if<!std::is_integral<T>::value, T>::type
add(T a, T b) {
    return std::move(a) + std::move(b);
}

int main() {
    int a = 1, b = 2;
    std::cout << add(a, b) << std::endl;  // 输出 3

    std::string str1 = "Hello", str2 = " World";
    std::cout << add(str1, str2) << std::endl;  // 输出 "Hello World"

    return 0;
}

上述示例中，定义了一个`add`函数的模板，该函数使用了`std::enable_if`辅助工具。对于整型类型，使用普通的加法；对于其他类型，使用`std::move`将参数转移到临时对象中，并执行加法操作。通过使用`std::enable_if`，我们能够根据参数类型选择适当的重载函数实现，从而实现函数行为的多态性。

### 回答3：
`std::move` 函数是 C++ 标准库中的一个模板函数，它用于将对象转移或者交换所有权。

`std::move` 函数用于将对象的状态或所有权从一个对象转移到另一个对象，通常用于实现移动语义。它接受一个参数，并返回对该参数的右值引用。这意味着 `std::move` 函数可以将传入的对象转换为右值引用，从而允许在移动语义中进行操作。

示例：假设有一个自定义的类 `MyClass`，具有合适的移动构造函数和移动赋值运算符。我们可以使用 `std::move` 函数将一个 `MyClass` 类型的对象 `obj1` 的所有权转移到另一个 `MyClass` 类型的对象 `obj2`。

MyClass obj1;
//...

MyClass obj2 = std::move(obj1);

通过调用 `std::move(obj1)`，将 `obj1` 的所有权移动到 `obj2`，`obj1` 将不再持有任何资源。这可以用于避免不必要的拷贝操作，提高程序的性能。

此外，`std::move` 函数还可以与其他 C++ 标准库函数以及用户定义的模板函数一起使用。例如，我们可以使用 `std::move` 结合 `std::enable_if` 实现某些类型的特定行为或重载。

示例：假设我们编写了一个模板函数 `foo`，它接受一个 `T` 类型的参数，并且仅当 `T` 是可移动的时才进行某些操作。我们可以使用 `std::enable_if` 和 `std::move` 实现这个功能。

template<typename T>
typename std::enable_if<std::is_move_constructible<T>::value, void>::type 
foo(T&& obj) {
    T temp = std::move(obj);
    // 对 temp 进行特定操作
}

int main() {
    MyClass obj;
    //...
    foo(std::move(obj));
    //...
}

在上面的示例中，`std::enable_if` 用于在 `T` 是可移动的情况下，才实例化 `foo` 函数。然后，`std::move` 用于将参数 `obj` 转移为右值引用，并将其赋值给 `temp`，从而实现特定操作。

总结：`std::move` 函数是 C++ 标准库中的一个用于转移对象所有权的模板函数。它可用于实现移动语义，避免不必要的拷贝操作。同时，它可以与其他标准库函数和用户定义的模板函数（如 `std::enable_if`）结合使用，实现特定类型的特定行为或重载。