metaprogramming 相关问题

我想根据标量类型将 std::vector 移动或分配到 std::vector 中。如果标量是浮动的则移动，否则复制。我试过这段代码 #包括我想根据类型 std::vector<Scalar> 将 std::vector<float> 移动或分配到 Scalar。如果 Scalar 是 float 则移动，否则复制。我试过这个代码 #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>::value 在编译时被评估为 false，因此下面的行将不会被编译。我使用g++ -std=c++17 main.cpp -o exec编译它。如何根据 x 类型将 y 移动/分配到 Scalar？因为main()不是模板，所以if constexpr两边都必须有效。要以这种方式使用 if constexpr，它需要位于模板中。值得庆幸的是，一个好的模板使这个逻辑更可重用： #include <vector> template<typename T, typename U> void move_or_copy(std::vector<T>& dest, std::vector&& 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)); } 我们可以对模板函数进行更好的约束（允许任何集合作为源），但这至少应该提供正确的出发方向。当 y = std::move(x); 不是 Scalar 时，赋值 float 无效，因为 y 是 std::vector<float> 类型，而 x 是 std::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; } 正如 @HolyBlackCat 在评论中所指出的，以及 cppref 中所述：“在模板之外，会完全检查被丢弃的语句。” （https://en.cppreference.com/w/cpp/language/if）。这是一种涉及新模板函数的潜在解决方案 template<typename U, typename V> std::vector& move_or_copy(std::vector& x, std::vector<V>& y) { static_assert(not std::is_same<U,V>::value); x.assign(y.begin(), y.end()); return x; } template<typename U> std::vector& move_or_copy(std::vector& x, std::vector& y) { return x = std::move(y); }

c++ templates c++17 metaprogramming

回答 3 投票 0

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

我想根据标量类型将 std::vector 移动或分配到 std::vector 中。如果标量是浮动的则移动，否则复制。我试过这段代码 #包括我想根据类型 std::vector<Scalar> 将 std::vector<float> 移动或分配到 Scalar。如果 Scalar 是 float 则移动，否则复制。我试过这个代码 #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>::value 在编译时被评估为 false，因此下面的行将不会被编译。我使用g++ -std=c++17 main.cpp -o exec编译它。如何根据 x 类型将 y 移动/分配到 Scalar？正如 @HolyBlackCat 在评论中所指出的，以及 cppref 中所述：“在模板之外，会完全检查被丢弃的语句。” （https://en.cppreference.com/w/cpp/language/if）。这是一种涉及新模板函数的潜在解决方案 template<typename U, typename V> std::vector& move_or_copy(std::vector& x, std::vector<V>& y) { static_assert(not std::is_same<U,V>::value); x.assign(y.begin(), y.end()); return x; } template<typename U> std::vector& move_or_copy(std::vector& x, std::vector& y) { return x = std::move(y); } 当 y = std::move(x); 不是 Scalar 时，赋值 float 无效，因为 y 是 std::vector<float> 类型，而 x 是 std::vector<Scalar> 类型，并且它们不直接兼容。 #include <vector> #include <type_traits> using Scalar = double; template <typename T> void moveOrAssign(std::vector<T>& dest, std::vector<T>&& source) { if constexpr(std::is_same_v<T, float>) { 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; }

c++ templates c++17 metaprogramming

回答 2 投票 0

如何查看 NimNode 的内容？

我正在使用 nim 编程语言并正在进行一些元编程。我想编写某种能够生成过程的 DSL。为此，我想将一些 nim 代码传递到宏中（例如

metaprogramming nim-lang representation

回答 1 投票 0

C++：您使用 Loki 还是 Boost 作为函子吗？

我一直在阅读 Alexandrescu 的书《Modern C++ design》，他使用的技术给我留下了深刻的印象，所以我想将 Loki 库添加到我的应用程序中。然而，进一步

c++ boost metaprogramming functor c++-loki

回答 4 投票 0

TypeList 的 Loki IndexOf 实现

我正在实现一个基于 Loki 的 TypeList，基于阅读： http://aszt.inf.elte.hu/~gsd/halado_cpp/ch06s09.html 并从 IndexOf 网站上看到了这段代码（在...中查找类型的索引