如何用if constexpr根据类型移动或赋值std::vector？

你的问题出在：非模板函数中的if constexpr，其false分支的代码仍会被编译器做语法正确性检查。即使你知道这个分支不会执行，但当Scalar不是float时，std::vector<Scalar>和std::vector<float>属于不同类型，y = std::move(x)的类型不匹配错误还是会被捕获。

以下是几种可行的解决方案：

方案一：模板函数内用if constexpr分发逻辑 #

把移动/拷贝的逻辑封装到模板函数中，此时if constexpr的false分支会被编译期完全丢弃，不会触发类型错误：

#include <vector>
#include <type_traits>

template<typename T>
void transfer_vector(std::vector<float>& dest, std::vector<T>& src)
{
    if constexpr(std::is_same_v<T, float>)
    {
        // 类型匹配时执行移动
        dest = std::move(src);
    }
    else
    {
        // 类型不匹配时执行元素拷贝
        dest.assign(src.begin(), src.end());
    }
}

using Scalar = double;

int main()
{
    std::vector<Scalar> x(10);
    std::vector<float> y(10);

    transfer_vector(y, x);

    return 0;
}

方案二：SFINAE重载实现条件分发 #

通过std::enable_if实现函数重载，让编译器根据Scalar的类型自动选择对应的函数版本：

#include <vector>
#include <type_traits>

// 当Scalar是float时，启用移动版本
template<typename T>
std::enable_if_t<std::is_same_v<T, float>>
transfer_vector(std::vector<float>& dest, std::vector<T>& src)
{
    dest = std::move(src);
}

// 当Scalar不是float时，启用拷贝版本
template<typename T>
std::enable_if_t<!std::is_same_v<T, float>>
transfer_vector(std::vector<float>& dest, std::vector<T>& src)
{
    dest.assign(src.begin(), src.end());
}

using Scalar = double;

int main()
{
    std::vector<Scalar> x(10);
    std::vector<float> y(10);

    transfer_vector(y, x);

    return 0;
}

方案三：直接在主函数中修正类型转换（不推荐） #

如果一定要在主函数中实现，可以通过强制类型转换让false分支的代码语法合法，但这种写法不够优雅：

#include <vector>
#include <type_traits>

using Scalar = double;

int main()
{
    std::vector<Scalar> x(10);
    std::vector<float> y(10);

    if constexpr(std::is_same_v<Scalar, float>)
    {
        y = std::move(static_cast<std::vector<float>&&>(x));
    }
    else
    {
        y.assign(x.begin(), x.end());
    }

    return 0;
}

推荐使用前两种方案，它们的代码结构更清晰，也符合C++编译期分发的最佳实践。

内容的提问来源于stack exchange，提问作者T.L