如何使用 if constexpr 根据它们的类型将一个向量移动或分配给另一个向量？-解网

问：

我想根据类型将 a 移动或分配给 a .std::vector<Scalar>std::vector<float>Scalar

如果是然后移动，否则复制。Scalarfloat

我试过这个代码

#include <vector>

using Scalar = double;

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

    if constexpr(std::is_same<Scalar, float>::value)
        y = std::move(x); // line 11 (does not compile)
    else
        y.assign(x.begin(), x.end());

    return 0;
}

但我明白了

main.cpp:11:24: error: no match for ‘operator=’ (operand types are ‘std::vector<float>’ and ‘std::remove_reference<std::vector<double>&>::type’ {aka ‘std::vector<double>’})
   11 |         y = std::move(x);
      |                        ^

我认为既然是在编译时计算的，那么下面的行就不会被编译。std::is_same<Scalar, float>::valuefalse

我使用 .g++ -std=c++17 main.cpp -o exec

如何根据类型移动/分配到？xyScalar

C++ 模板 C++17 元编程

#include <vector>

template <typename U, typename V>
void move_or_copy(std::vector<U>& y, std::vector<V>&& x) {
    if constexpr(std::is_same<U,V>::value) {
        y = std::move(x);
    } else {
        y.assign(x.begin(), y.end());
    }
}


using Scalar = double;

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

    move_or_copy(y, x);

    return 0;
}

9赞 Turan-Yahya Gazizuly 8/7/2023 #2

赋值在不是时无效，因为是类型和是类型，并且它们不直接兼容。y = std::move(x);Scalarfloatystd::vector<float>xstd::vector<Scalar>

#include <vector>
#include <type_traits>

using Scalar = double;

template <typename T, typename A>
void moveOrAssign(std::vector<T>& dest, std::vector<A>&& source) {
    if constexpr(std::is_same_v<T, A>) {
        dest = std::move(source);
    } else {
        dest.assign(source.begin(), source.end());
    }
}

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

    moveOrAssign(y, std::move(x));
    return 0;
}

由于是右值引用，因此第二种情况可以通过使用 std：：make_move_iterator 来改进，以避免在可能重要的情况下复制元素。例如，当前实现可能会在 a 的情况下制作冗余副本，而在 .sourcemoveOrAssignstd::vector<std::string>std::vector<std::unique_ptr<...>>

15赞 Toby Speight 8/7/2023 #3

因为不是模板，所以两端都必须有效。要使用这种方式，它需要位于模板中。main()if constexprif constexpr

值得庆幸的是，一个好的模板使这个逻辑更容易重用：

#include <vector>

template<typename T, typename U>
void move_or_copy(std::vector<T>& dest, std::vector<U>&& src)
{
    if constexpr(std::is_same_v<T,U>)
        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);

    move_or_copy(y, std::move(x));
}

我们可以更好地约束模板函数（允许任何集合作为源），但这至少应该提供正确的方向。

如何使用 if constexpr 根据它们的类型将一个向量移动或分配给另一个向量？

How can I move or assign one vector into another depending of their type using if constexpr?

评论

评论

评论