使用类名作为基于模板类的类成员的参数？
使用类名作为基于模板类的类成员的参数是一种泛型编程的技术，也称为模板模式。在C++中，可以使用模板类来定义一个通用的类，其中的成员可以接受不同类型的参数。
优势：
- 代码复用：使用模板类可以避免重复编写相似的代码，提高代码的复用性。
- 类型安全：使用模板类可以在编译期间进行类型检查，避免在运行时出现类型错误。
- 灵活性：使用模板类可以根据不同的参数类型生成不同的类，提供更灵活的编程方式。
应用场景：
- 容器类：使用模板类可以定义通用的容器类，如数组、链表、栈、队列等，可以存储不同类型的数据。
- 算法类：使用模板类可以定义通用的算法类，如排序、查找、计算等，可以适用于不同类型的数据。
- 数据结构类：使用模板类可以定义通用的数据结构类，如二叉树、图等，可以存储不同类型的数据。
推荐的腾讯云相关产品和产品介绍链接地址：
- 腾讯云函数计算（SCF）：腾讯云函数计算是一种事件驱动的无服务器计算服务，可以根据事件触发自动运行代码。链接：https://cloud.tencent.com/product/scf
- 腾讯云云服务器（CVM）：腾讯云云服务器是一种弹性计算服务，提供可扩展的计算能力，适用于各种应用场景。链接：https://cloud.tencent.com/product/cvm
- 腾讯云数据库（TencentDB）：腾讯云数据库是一种高性能、可扩展的云数据库服务，支持多种数据库引擎和存储引擎。链接：https://cloud.tencent.com/product/cdb
请注意，以上推荐的腾讯云产品仅供参考，具体选择应根据实际需求进行评估和决策。
相关·内容
以下代码被VC++ 2013接受，但被clang 3.4拒绝。
根据C++标准，哪个编译器是正确的？
template<class T>
struct A
{
T n;
};
template<class T>
struct B : A<T>
{
// VC++ 2013 : OK
// clang : error : use of class template 'A' requires template arguments
B& f1(const A& obj)
{
浏览 34提问于2014-06-19得票数 18
回答已采纳
2回答
下面的代码使用和都可以编译(编译标志是-Wall -Wextra -Werror -pedantic-errors)：
template <typename>
struct Base
{
};
struct Derived : Base<int>
{
Base base()
{
return Base();
}
};
int main()
{
}
它是这些编译器中的一个bug，还是C++标准的一个特性？
浏览 0提问于2019-06-21得票数 5
回答已采纳
2回答
当仅使用标准类型参数实例化具有模板类类型的变量时，语法如下所示：
template<typename Arg = int>
class Templ;
Templ<>& myTempl;
忽略空参数列表，<>应该会产生编译错误，因为需要一个模板参数列表。
但显然(至少在VS2013下)，以下声明不需要模板参数列表：
template<typename Arg> //" = int" left out
class Templ{
Templ& myTempl; //no <> here
};
但为什
浏览 3提问于2014-07-30得票数 6
回答已采纳
3回答
为什么以下是有效的？
template<typename T> class example {
public:
T val;
example() {val=0;}
example operator+(example ob) {
example temp;
temp.val = val+ob.val;
return temp;
}
};
int main() {
example<int> a;
a+a;
return 0;
}
如果我没有看到它的编译，我会说操作符重载
浏览 0提问于2013-01-09得票数 1
回答已采纳
1回答
这是我的代码，我一直收到错误。/Partition2.h:45:5: error: invalid use of template-name‘fsu：：Partition2’没有参数列表，但是我不确定是什么导致了这个错误。通常是因为我没有把模板放在函数之前，但现在我有点困惑了。
#include "vector.h"
#include <vector>
#include <cstdlib>
#include <iostream>
#include <iomanip>
#include <cmath>
#include
浏览 4提问于2015-03-10得票数 0
3回答
如何从变量模板参数的嵌套类派生？
、、、、
给定以下两个结构，一个可以从两个嵌套的‘嵌套’类派生，然后从派生对象调用foo()和bar()：
struct WithNested1 {
template<class T> struct Nested {
void foo();
};
};
struct WithNested2 {
template<class T> struct Nested {
void bar();
};
};
struct Test : WithNested1::Nested<Test>,
浏览 0提问于2013-11-10得票数 3
回答已采纳
2回答
我有这样的代码：
template <typename A>
class templatedclass {
public:
using type = templatedclass;
};
template <typename A>
class sinkstuff {
public:
void print() {
cout << "generic sinkstuff";
}
};
template <typename A>
class sinkstuff <templa
浏览 3提问于2014-10-04得票数 4
回答已采纳
2回答
尽管下面这两种编译(使用Visual 2013)，对于C++成语而言，它们中的一种是否更“正确”？在调用基类构造函数和声明成员时，我特别谈到显式模板参数。标准对此有看法吗？有一个很好的实际理由来选择一个而不是另一个吗？
template<class T>
class Bar1 : public Base<T>
{
public:
Bar1() : Base() {}
Bar1(T value) : Base(value) {}
Bar1(Bar1 const & other) : Base(other.value) {}
v
浏览 1提问于2015-07-02得票数 6
回答已采纳
有人知道为什么在定义模板方法时，返回类型需要模板参数，而参数类型不需要吗？举个例子：
template<typename T>
struct Car {
Car drive(Car); // will be defined after the template declaration.
};
// Attempt #1: does not compile.
// Error: use of class template Car requires template arguments
template<typename T>
inline Car Car<T
浏览 4提问于2011-03-01得票数 5
回答已采纳
当我实例化模板类时，Visual没有看到正确的构造函数。我在哪里犯了个错误？
我已经尝试使复制/移动构造函数显式/删除。帮不上忙。
#include <set>
using namespace std;
template <class T, template<class> class ConnectionType>
struct node
{
T value;
node(const T& value) : value(value) {}
set<ConnectionType<T>> connect
浏览 1提问于2019-08-01得票数 6
回答已采纳
我刚刚发现C++需要以下代码中的typename (请参阅代码片段末尾的成员函数定义)：
template <typename T> struct ClassWithSubtype
{
struct Sub
{
//static void check( const ClassWithSubtype<T>::Sub& sub );
ClassWithSubtype<T>::Sub& operator=( const ClassWithSubtype<T>::Sub& other
浏览 0提问于2015-03-11得票数 0
回答已采纳
我需要用MSVC(C++98)构建我的代码。我使用模板类参数声明一个模板类。因此，我在MSVC: C2977：'Set'：太多模板参数的编译过程中遇到了一个错误
Gcc把这个代码做得很好。
你可以自己试试：
这是你的代码：
#include <iostream>
#include <vector>
class Iterator
{
public:
virtual int size() = 0;
};
template <template<typename> class TContainer, class TType>
浏览 2提问于2019-12-14得票数 3
回答已采纳
我当时在玩C++，我对此感到困惑：
非类型模板参数cppreference.com 必须是结构类型，而文字类类型是结构类型的示例。然后，它“文字类型是类型的常数变量，他们可以被构造，操作，并返回从常数函数”(强调地雷)。(函数的返回类型必须是文字类型。)
因此，我的理解是，可以从函数返回，暗示是文字类型，暗示是结构化类型，暗示可以用作非类型的模板参数。
但是，std::optional似乎可以从constexpr函数(下面的bar)返回，但不能用作非类型模板参数(下面的foo)。到底怎么回事？
#include <optional>
template <std::option
浏览 2提问于2021-12-19得票数 0
回答已采纳
我正在编写自定义的惰性字符串类。
template <typename charT, typename traits = std::char_traits<charT>>
class lazy_basic_string
{
class char_proxy
{
char_proxy& operator=(charT ch);
};
char_proxy operator[](size_type i);
}
然后，我想在类声明之外定义这些方法。
template <typename charT, typena
浏览 5提问于2015-03-16得票数 11
回答已采纳
1回答
我发现自己经常从vector中删除元素，而不关心顺序的维护，这意味着使用擦除将是浪费的。最好用最后一个元素和pop_back()交换移除元素。标准库中似乎没有任何东西可以这样做，所以我正在尝试编写自己的模板，但我确实对模板语法没有很强的把握。
我写了这个：
template<typename T>
void unordered_erase(std::vector<T>& vec, const std::vector<T>::iterator& it)
{
if (it != vec.end())
{
std::
浏览 3提问于2016-04-11得票数 2
回答已采纳
最近，我正在读一本书：C++ templates: the complete guide，作者是大卫·范巴斯托德和尼科莱·M·乔苏蒂斯。
特别是关于模板解析，引用自第126页的书。
然而，类模板也有注入的类名，但是它们比普通的注入类名更奇怪:它们后面可以是模板参数(在这种情况下，它们是注入的类模板名称)，但是如果它们后面没有模板参数，它们就表示类的参数作为参数(或者，对于部分专门化，它们是它的专门化参数)。
书中除有关守则外，如下：
template<template<typename> class TT>
class X
{
};
template <
浏览 4提问于2013-04-21得票数 3
回答已采纳
似乎clang++ (我试过clang3.2)将模板类的名称视为实例化的类，而不是类范围内任何事件的模板。例如，以下代码
template <template <class> class T>
class A {};
template <typename T>
class B {
A<B> member;
// ^---- clang++ treats B as an instantiated class
// but I want it to be a template here
// thi
浏览 0提问于2013-01-12得票数 4
回答已采纳
为什么我们要在每个函数前面使用模板参数，即使我们没有在函数中使用推导出的模板参数。正如我们所看到的，我没有在printP()函数中使用模板参数printP()(大约30)，那么为什么需要在这个函数前面包含模板语法。
NOTE: --这是我的大型类的非常简化的版本，它可能看起来很傻，因为它很小，但是，考虑一下您只对类中的几个2-3个函数使用模板的情况，但是您必须在每个函数前面键入(甚至复制过去)这种冗长的模板语法，但我问为什么？
有什么办法能得到这个
#include <iostream>
#include <cstring>
#include <fstream&g
浏览 3提问于2014-11-20得票数 0
1回答
我在编译以下代码时遇到了问题，它只会导致编译错误，请参见下面的代码。
我不明白的是:如果我的类Any本身不是一个模板类，那么所有这些都可以正常工作。(可以取消对示例代码行的注释。
如果Any是模板，则BASE_T不再可见。有什么办法让它再次可见吗？
为什么我需要BASE_T？如您所见，ConcatHelper模板从所有类型创建一个类，这些类型是该模板的变量列表的一部分。现实世界的代码做了更多的工作，但这里的例子并不重要。我定义了我的BASE_T来减少我的代码，并且不能一次又一次地复制所有的模板参数。
使用过的编译器: g++5.3.1和gcc6的最新快照。
#include <iostr
浏览 3提问于2016-04-15得票数 3
回答已采纳
1回答
您能告诉我如何显式调用模板构造函数(在初始化列表中)吗？例如：
struct T {
template<class> T();
};
struct U {
U() : t<void>() {} //does not work
T t;
};
谢谢
浏览 0提问于2010-05-07得票数 52
回答已采纳
4回答
模板类的大小
、、
template<int N>
struct S
{
void foo()
{
sizeof( S ); // (*)
sizeof( S<N> );
}
};
int main()
{
S<5> s;
s.foo();
return 0;
}
这段代码编译得很好(VS2010)，但我对(*)字符串有疑问。S不是完整的类型，在我看来不像S<N>，那么编译器为什么知道它的大小呢？关于这种情况，标准是怎么说的?格式正确吗？sizeof。
浏览 4提问于2013-11-07得票数 13
回答已采纳
在解析基类模板成员函数的重载过程中，我观察到了g++ (5.2.1-23)和clang (3.8.0)与-std=c++14之间的不同行为。
#include <iostream>
#include <type_traits>
struct Base
{
template <typename T>
auto a(T t) -> void {
std::cout<< "False\n";
}
};
template <bool Bool>
struct Derived : public Ba
浏览 3提问于2015-12-08得票数 14
回答已采纳
我正在制作一个程序，其中一个类和一个类密切相关，所以我想在另一个类中声明其中一个类，因此用户必须使用Class::member语法来创建和派生这个类类型。我只将我的程序抽象成4个类，并重新创建了错误。课程如下：
GraphInterface, Graph, GraphIteratorInterface, and GraphIterator.
其中图公开地从它的接口派生出来，与迭代器也是一样的。现在，由于迭代器只能与这些图一起使用，我希望用户必须通过以下方式创建一个
Graph<int>::GraphIterator<int> it;
我试图通过在GraphIterato
浏览 2提问于2015-01-06得票数 1
回答已采纳
2回答
这是一个简单的模板；
template <class T>
class tt {
private:
T x;
public:
tt() {x=0;};
Add(T p) {x += p;};
};
..。然后是它的子类；
class cc : public tt<int> {
public:
cc() : tt() {};
};
这在VC中编译得很好，但在C++生成器(XE)中不能，因为它会给出一个E2102错误。C++生成器编译器需要在cc类的构造函数上使用以下语法才能进行编
浏览 6提问于2011-11-01得票数 3
1回答
这是Mappings类的正向声明： template<typename Type, typename IDType=typename Type::IDType>
class Mappings;
template<typename Type, typename IDType>
class Mappings
{
public:
...
Type valueFor(const IDType& id);
...
}; 如何转发声明valueFor函数？ 我需要像这样的东西 template<typename Type, typename
浏览 19提问于2019-04-24得票数 0
回答已采纳
1回答
在xcode中生成时出错
、、、
我有一个main函数，它看起来像这样：
#include <vector>
#include "mins_ndim.h"
#include "ObjectiveFunction.h"
int main (int argc, char * const argv[]) {
ObjectiveFunction objective;
Frprmn<ObjectiveFunction> frprmn(objective);
std::vector<double> p(2);
p[0]=7; p[1]=3;
frp
浏览 0提问于2013-04-10得票数 0
回答已采纳
我遵循的示例，但是我使用模板并调用一个派生类的构造函数。以下代码在没有模板的情况下工作，但当包含时，我不确定为什么会出现以下错误：
: error: no matching function for call to ‘AbsInit<double>::AbsInit()’
NotAbsTotal(int x) : AbsInit(x) {};
^
以下是代码：
#include <iostream>
using namespace std;
template<typename T&
浏览 2提问于2016-07-25得票数 4
回答已采纳
C++似乎并不关心我是否为类模板提供带有模板参数的构造函数。下面是一个示例：
template<typename T>
class Foo
{
Foo() { /* ... */ } // OK
Foo<T> { /* ... */ } // Also OK
}
这两个构造函数定义之间有什么区别吗？此外，在提供模板参数的主题上，当声明位于同一个类中时，为什么不必须将参数提供给类模板参数呢？例子如下：
template<typename T>
class Foo
{
Foo(const Foo& other) { /* ... */ } /
浏览 0提问于2018-11-29得票数 2
回答已采纳
1回答
代码来自一本C++书籍，如下所示：
为什么这个公共成员Link* next没有typename参数？
template <typename E> class Link {
private:
static Link<E>* freelist;
public:
E element;
Link* next; // this line confused me....
Link(const E& elemval, Link* nextval = NULL)
{
element = elemval; next =
浏览 1提问于2015-06-17得票数 13
回答已采纳
1回答
下面是一个场景：
template <template <typename> class T, typename V>
struct parent {
void do_something();
};
template <typename V>
struct child : public parent<child, V> {
void do_something(V argument);
using parent<child, V>::do_something; // C3200: invalid templat
浏览 1提问于2012-10-10得票数 6
回答已采纳
4回答
在C++中使用模板时出错
、、、、
我想使用C++中的模板来实现AVL。头文件、C++文件和主文件如下：
AVLTree.h
#include <iostream>
using namespace std;
namespace MYTree
{
template <class T>
class AVLTree
{
public:
struct AVLNode
{
struct AVLNode *left;
struct AVLNode *right;
浏览 5提问于2014-03-18得票数 0
回答已采纳
在下面的片段中，我省略了返回赋值操作符类型(operator=)中的模板param占位符。无论我是否指定了模板参数，在这两种情况下，代码都运行得很好，只是想知道为什么？
谢谢
#include <iostream>
using std::cout; using std::endl;
class Ref
{
int _ref_counter;
public:
Ref() : _ref_counter(0) {}
void upRef() { _ref_counter++; }
int downRef() { return --_ref_c
浏览 4提问于2014-10-27得票数 1
回答已采纳
1回答
据我所知，下面的
template<typename T>
struct S {
S<T>();
};
是格式良好的，即使构造函数声明中的<T>是多余的。
但是，在gcc主干(但不是gcc10.2)上，使用-std=c++20时会出现一个错误：
error: expected unqualified-id before ')' token
3 | S<T>();
^
使用-std=c++20在clang主干上编译。这是一个bug，还是c++20中尚未在所有编译器中实现的重大
浏览 2提问于2020-08-20得票数 10
回答已采纳
2回答
我想知道在以下几个方面是否有本质上的区别：
template <typename T>
class foo{
foo<T>(){};
};
template<typename T>
class foo{
foo(){};
};
两者似乎都有效，但我不明白两者之间的区别。第一个问题让我感到困惑，我不明白<T>在这里的作用是什么。
浏览 2提问于2016-11-12得票数 1
回答已采纳
2回答
我试图将模板参数转发给父类(从子类)，但是当尝试这样做时，我会得到以下错误；
test.cc:9:46: error: type/value mismatch at argument 1 in template parameter list for ‘template<class A, class B> class BaseClass’
class SubClass : public BaseClass<SubClass, B> {
^
test.cc:9:46: error:
浏览 1提问于2015-08-16得票数 1
回答已采纳
3回答
boost::tuple有一个get()成员函数，其用法如下：
tuple<int, string, string> t(5, "foo", "bar");
cout << t.get<1>(); // outputs "foo"
C++0x std::tuple似乎没有这个成员函数，您必须改用非成员函数形式：
std::get<1>(t);
在我看来更难看。
std::tuple没有成员函数有什么特殊的原因吗？或者仅仅是我的实现(GCC 4.4)？
浏览 1提问于2010-07-23得票数 56
回答已采纳
#include <stdio.h>
template<typename T, int N>
class A
{
public:
void func();
};
template<typename T, int N>
void A<int, N>::func()
{
printf("%d\n", N);
}
int main()
{
A<int, 3> a;
a.func();
return 0;
}
当我试图编译这段代码时，g++给出了以下错误：
test.cpp:10:22
浏览 2提问于2013-06-02得票数 1
回答已采纳
1回答
考虑以下代码：
template <template <int> class T>
struct B {
};
template <int N>
struct A {
B<A> b;
};
这不会编译，因为A在B<A> b中引用的是类A<N>，而不是模板。如何从A的主体中获取模板A<N>
浏览 3提问于2014-06-14得票数 2
回答已采纳
2回答
模板方法和默认模板参数
、、、、
下面的代码可以恢复我的问题：
template <typename T> struct C2;
template <typename T>
struct C1
{
template <typename Type,
template <typename Ti> class Container = C2>
void m() {}
};
template <typename T>
struct C2
{
template <typename Type = int,
template
浏览 3提问于2013-09-25得票数 9
回答已采纳
1回答
朋友模板函数在类中的定义
、、、
我不知道为什么gcc会编译这段代码
#include <type_traits>
template<class Type, class ValueT>
class ImplAdd
{
template<typename T>
friend typename std::enable_if<std::is_same<T, ValueT>::value, Type>::type
operator+(T, T)
{
return Type{};
}
};
enum class FooValueT
浏览 4提问于2014-12-11得票数 3
回答已采纳
1回答
假设我有这个代码
template<typename T2, typename T = int>
struct X
{
static double f;
};
template<typename T>
double X<T>::f = 14.0;
如果我试图编译clang，请给我以下错误
嵌套名称说明符“X：：”用于声明不引用类、类模板或类模板部分专门化
对于GCC来说：
错误:非模板“double X：：F”的模板定义
问题是：
为什么编译器希望我们像这样专门化结构X：
template<typename T2>
st
浏览 0提问于2015-07-25得票数 5
回答已采纳
4回答
嗨，我是新的模板。只想知道如何正确编译程序。
template<class t>
class node{
public:
t val;
node(t v):val(v){}
};
template<class t>
class stack{
private:
stack *next;
static stack *head;
static int top;
public:
void push(node *n);
node* pop();
};
templ
浏览 1提问于2014-10-16得票数 1
回答已采纳
我有一个模板类，它有两个模板参数
template <class T, class U> class A /* ... */
另一个模板类，它接受带有两个参数的模板类作为模板参数。
template <class T, class U, template<class X, class Y> class Z>
class B
{
typedef typename Z<T,U>::pointer pointer;
};
是否不可能在A中创建B的实例，其中Z是A？
template <class T, class U>
class
浏览 4提问于2013-06-25得票数 11
回答已采纳
考虑以下代码片段：
#include <functional>
namespace ns {
struct Arg{};
using Func = std::function<int(Arg)>;
Func operator+(Func lhs, Func rhs) {
return [lhs, rhs](Arg arg) {
return lhs(arg) + rhs(arg);
};
}
}
int main() {
ns::Func foo = [](ns::Ar
浏览 0提问于2019-08-14得票数 6
回答已采纳
1回答
我想知道关于标准的以下情况，visual studio 2017和GCC中的哪一个是正确的。问题是，在类模板second中，visual studio中的标识符“second”总是引用具体类型，但在gcc中，它似乎是上下文相关的。
GCC的例子
template <typename...>
struct type_list{};
template<template <typename...> typename tmpl>
struct tmpl_c
{
template <typename...Ts> using type = tmp
浏览 41提问于2018-06-26得票数 4
回答已采纳
这里提出了一个关于模板消歧器的问题：
在答案中我们可以读到：
国际标准化组织C++03 14.2/4
当成员模板专门化的名称出现在之后。或者是后缀表达式中的->，或者在限定id中嵌套名称说明符之后，以及后缀表达式或限定id显式地依赖于模板参数(14.6.2)，成员模板名必须以关键字模板为前缀。否则，该名称将被假定为非模板名称。
下面是我不太明白的例子：
template <class T>
class Base {
public:
template <int v>
static int baseGet() {return v;}
cl
浏览 0提问于2011-06-23得票数 2
回答已采纳
2回答
给定此示例类模板：
template<typename T>
class Stack {
T * data;
int size;
int nextIndex;
public:
Stack(int size = 100);
Stack(const Stack& stack);
~Stack();
Stack& operator=(const Stack& s);
void push(const T& t);
void pop();
T& top();
con
浏览 0提问于2018-03-14得票数 1
回答已采纳
根据规则：
当限定-id指的是一个类型，它不是当前实例化 (temp.dep.type)的成员，它的嵌套名称说明符指的是依赖类型，它应该以关键字typename作为前缀，形成一个类型名称说明符。如果类型名称说明符中的限定-id不表示类型或类模板，则程序的格式不正确。
这意味着，当当前实例化的一个成员被用作类型说明符时，没有必要以关键字typename作为前缀。
请考虑以下代码：
#include <iostream>
template<class T>
struct A{
struct B{
struct C{
A
浏览 3提问于2020-12-02得票数 1
回答已采纳
我正在将一些代码从MSVC(无许可-)移植到linux，我了解到，如果在类的初始化程序列表中调用模板基类的构造函数，则必须指定所有模板参数，否则会出现错误。似乎有些多余，因为如果您在重新键入模板参数时出错，这是一个很严重的错误：
错误:键入“Base<int，true>”不是“派生”的直接或虚拟基
这里的完整代码：
template <typename T, bool has_x>
struct Base
{
Base(T t): t_(t){
}
T t_=0;
};
template <typename T>
class
浏览 1提问于2020-06-24得票数 5
回答已采纳
1回答
当在CRTP中使用模板模板参数时，尝试调用派生初始化列表中的基类构造函数时，会出现编译错误。
可以用以下代码片段复制问题：
template <template<class> class Derived, class T>
struct base
{
};
template <class T>
struct derived : public base<derived, T>
{
derived()
: base<derived, T>()
{ }
};
违规错误消息：
bug.cpp:10:16: e
浏览 2提问于2013-07-16得票数 19
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
