Questions tagged «templates»

给定以下类模板： template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; 我们Inner为以下每种专业分别定义Outer： template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; 然后f针对以下所有专业定义一次成员函数Outer： auto Outer<T>::f(Inner) -> void { } 但是Clang（9.0.0）抱怨： error: variable has incomplete type 'Outer::Inner' auto Outer<T>::f(Inner) -> void ^ 我们还可以通过提供Inner以下所有其他专长的定义来规避编译器错误Outer： template<typename T> struct Outer<T>::Inner {}; 或通过f为每个专业分别定义： template<> auto …

17 c++  templates  language-lawyer  template-specialization  incomplete-type 

我有以下模板代码 #include <vector> #include <array> #include <iostream> template<typename T1> void foo(std::vector<T1> bar) { std::cout << "GENERIC" << std::endl; } template<typename T1> void foo(std::vector<std::vector<T1>> bar) { std::cout << "SPECIFIC (vector)" << std::endl; } template<typename T1, int SIZE> void foo(std::vector<std::array<T1, SIZE>> bar) { std::cout << "SPECIFIC (array)" << std::endl; } int main() …

16 c++  templates 

我有一个带有两个参数的函数： template <typename T1, typename T2> void foo(T1 arg1, T2 arg2) { std::cout << arg1 << " + " << arg2 << '\n'; } 一个可变参数的参数应该成对转发： template <typename... Args> void bar(Args&&... args) { static_assert(sizeof...(Args) % 2 == 0); ( foo( std::forward<Args>(args), std::forward<Args>(args) ), ... ); // ^ Sends each argument twice, …

16 c++  c++11  templates  variadic-templates 

有没有办法将引用作为参数传递给模板typename参数？我的意思是说，而不是通过int来传递对int的引用。 template <typename T> struct Foo { Foo(T arg) : ptr(arg) {} T ptr; }; int main() { int* a = new int(6); Foo<decltype(a)> foo1(a); // ptr is a copy of a pointer Foo<decltype(&a)> foo1(&a); // ptr seems to be a pointer to a pointer } 我知道我可以通过在类中使其成为T＆来使'ptr'成员成为对指针的引用，但是我想知道是否可以通过传递给模板参数的参数来实现。

15 c++  templates 

我有一个类似的代码 template <size_t N> class A { template <size_t N> someFunctions() {}; }; 现在，我想创建该类的实例，并在for循环中为一组许多值（例如， // in main() int main() { for (int i = 1; i <= 100; i++) { const int N = i; // dont know how to do this A<N> a; a.functionCalls(); } } 这个怎么做？希望有一种方法可以做到这一点。

15 c++  for-loop  templates  compile-time-constant  template-classes 

我不明白这是什么问题：在我的代码中还是在编译器中（不太可能）。有一段这样的代码： #include <iostream> #include <type_traits> #include <set> template<typename T, typename = void> struct TestA: std::false_type {}; template<typename T> struct TestA<T, std::void_t<typename T::reverse_iterator>> : std::true_type {}; template<typename T> struct TestA<T, std::void_t<typename T::dummy_iterator>> : std::true_type {}; int main() { std::cout << TestA<std::set<int>>::value; } GCC和MSVC都可以对其进行编译。我使用不同版本的GCC和MSVC 17（本地）和19在Godbolt上进行了测试。这是一个链接：https ://godbolt.org/z/Enfm6L 。 但是Clang不会编译它并发出错误： redefinition of `'TestA<T, std::void_t<typename …

14 c++  templates  gcc  visual-c++  clang 

您好，我在Cppreference.com上看到了许多这样的示例： std::is_class<T> std::is_integral 等等。我知道我是否例如运行代码get true或false。但是，这有什么意义呢？例如知道对象是否为类类型？ #include <iostream> #include <type_traits> struct A {}; class B {}; enum class C {}; int main() { std::cout << std::boolalpha; std::cout << std::is_class<A>::value << '\n'; std::cout << std::is_class<B>::value << '\n'; std::cout << std::is_class<C>::value << '\n'; std::cout << std::is_class<int>::value << '\n'; } 输出： true true false …

14 c++  templates 

最近，我编写了一个模板函数来解决一些代码重复。看起来像这样： template<class T, class R, class... Args> R call_or_throw(const std::weak_ptr<T>& ptr, const std::string& error, R (T::*fun)(Args...), Args... args) { if (auto sp = ptr.lock()) { return std::invoke(fun, *sp, args...); } else { throw std::runtime_error(error.c_str()); } } int main() { auto a = std::make_shared<A>(); call_or_throw(std::weak_ptr<A>(a), "err", &A::foo, 1); } 这段代码非常适合class A如下所示： …

14 c++  templates 

以下代码无法使用gcc或clang进行编译。 template<class T> class foo{}; template<class T> class template_class_with_struct { void my_method() { if(this->b.foo < 1); }; struct bar { long foo; } b; }; 错误消息是 error: type/value mismatch at argument 1 in template parameter list for 'template<class T> class foo' 8 | if(this->b.foo < 1); 该错误是由模板类foo引起的。当写<=而不是<1时，它也会编译。 任何提示表示赞赏吗？ CompilerExplorer链接https://godbolt.org/z/v6Tygo

13 c++  templates  compiler-errors  compiler-bug 

我有一个函数模板，它接受许多不同的类型。在这些类型中，只有其中一种具有getInt()功能。因此，我希望代码仅针对该类型运行函数。请提出解决方案。谢谢 #include <type_traits> #include <typeinfo> class X { public: int getInt(){ return 9; } }; class Y{ }; template<typename T> void f(T& v){ // error: 'class Y' has no member named 'getInt' // also tried std::is_same<T, X>::value if(typeid(T).name() == typeid(X).name()){ int i = v.getInt();// I want this to be called …

13 c++  c++11  templates  c++14  metaprogramming 

我想以一种通用的方式比较结构，并且我做了这样的事情（我无法共享实际的源代码，因此如有必要，请提供更多详细信息）： template<typename Data> bool structCmp(Data data1, Data data2) { void* dataStart1 = (std::uint8_t*)&data1; void* dataStart2 = (std::uint8_t*)&data2; return memcmp(dataStart1, dataStart2, sizeof(Data)) == 0; } 这通常可以按预期工作，但有时即使两个结构实例具有相同的成员（我已经使用eclipse调试器进行了检查），它有时仍返回false。经过一些搜索，我发现memcmp由于填充了所使用的结构而导致失败。 有没有比较合适的内存填充方式？我无法修改所使用的结构（它们是我正在使用的API的一部分），并且所使用的许多不同结构具有一些不同的成员，因此无法以一般方式进行单独比较（据我所知）。 编辑：不幸的是，我坚持使用C ++ 11。应该早些提到...

13 c++  templates  struct  padding  memcmp 

当我们要在中使用时static_assert，if constexpr必须使条件取决于某些模板参数。有趣的是，当代码包装在lambda中时，gcc和clang不同意。 以下代码使用gcc进行编译，但是clang触发断言，即使if constexpr不能为true。 #include <utility> template<typename T> constexpr std::false_type False; template<typename T> void foo() { auto f = [](auto x) { constexpr int val = decltype(x)::value; if constexpr(val < 0) { static_assert(False<T>, "AAA"); } }; f(std::integral_constant<int, 1>{}); } int main() { foo<int>(); } 这里的例子。 它可以很容易地通过用固定False<T>通过False<decltype(x)>。 所以问题是：哪个编译器正确？我认为gcc是正确的，因为中的条件static_assert取决于T，但是我不确定。

13 c++  templates  language-lawyer  c++17  static-assert 

直到C ++的C ++ 20标准，当我们想定义一个使用模板类的一些私有成员的类外运算符时，我们将使用类似于以下的构造： template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs, const Foo<T>& rhs); template <typename T> class Foo { public: constexpr Foo(T k) : mK(k) {} constexpr friend bool operator==<T>(T lhs, const Foo& rhs); private: T mK; }; template <typename T> constexpr bool operator==(T …

12 c++  templates  c++20 

由于将概念定义为编译时谓词，是否还可以将这些谓词实际重用于编译时算法？例如，可以检查元组中的所有类型是否都符合概念？据我所知，不可能以任何方式将概念传递给函数，这使我重新回到在这些情况下使用模板。 #include <type_traits> template<typename T> concept FloatLike = std::is_same_v<T, float>; struct IsFloat { template<typename U> constexpr static bool test() { return FloatLike<U>; } }; template<typename Predicate, typename... T> constexpr bool all_types() { return (Predicate::template test<T>() && ...); } int main() { static_assert(all_types<IsFloat, float, float>()); static_assert(!all_types<IsFloat, float, int>()); } 我想做的就是这样，所以我不必一直包装这个概念就可以使用它： template<concept …

12 c++  templates  template-meta-programming  c++20  concept 

考虑以下代码： template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } 通过以下Bash命令（使用g ++ 8.3.0）对g ++编译进行基准测试时 for ((level=1; level<30; ++level)); do echo -n ${level}, /usr/bin/time -f %U g++ -DLEVEL=$level test.cpp -o /dev/null done 我得到以下输出： 1,0.03 2,0.03 …

12 c++  templates  gcc  compilation