在 Grid
示例中,Grid
模板有一个模板参数:存储在网格中的类型。编写类模板时,您需要在尖括号内指定参数列表,例如:
template <typename T>
这个参数列表类似于函数或方法中的参数列表。与函数和方法一样,你可以编写具有任意多个模板参数的类。此外,这些参数不必是类型,它们可以有默认值。
非类型参数是普通参数,如整数和指针——这类参数你可能已经在函数和方法中很熟悉了。然而,非类型模板参数只能是整型(char
、int
、long
等)、枚举类型、指针、引用、std::nullptr_t
、auto
、auto&
和 auto*
。C++20 还允许浮点类型和类类型的非类型模板参数。后者有很多限制,在本文中不再详细讨论。
在 Grid
类模板中,你可以使用非类型模板参数来指定网格的高度和宽度,而不是在构造函数中指定。在模板列表中指定非类型参数而不是在构造函数中指定的主要优点是这些值在代码编译之前就已知。回想一下,编译器通过在编译之前替换模板参数来生成模板实例的代码。因此,你可以在实现中使用普通的二维数组,而不是动态调整大小的向量数组。以下是带有更改的新类定义:
export template <typename T, size_t WIDTH, size_t HEIGHT>
class Grid {
public:
Grid() = default;
virtual ~Grid() = default;
// 明确默认复制构造函数和赋值运算符。
Grid(const Grid& src) = default;
Grid& operator=(const Grid& rhs) = default;
std::optional<T>& at(size_t x, size_t y);
const std::optional<T>& at(size_t x, size_t y) const;
size_t getHeight() const { return HEIGHT; }
size_t getWidth() const { return WIDTH; }
private:
void verifyCoordinate(size_t x, size_t y) const;
std::optional<T> m_cells[WIDTH][HEIGHT];
};
注意,模板参数列表需要三个参数:存储在网格中的对象类型,以及网格的宽度和高度。宽度和高度用于创建存储对象的二维数组。下面是类方法的定义:
// 类方法定义
template <typename T, size_t WIDTH, size_t HEIGHT>
void Grid<T, WIDTH, HEIGHT>::verifyCoordinate(size_t x, size_t y) const {
if (x >= WIDTH) {
throw std::out_of_range { std::format("{} must be less than {}.", x, WIDTH) };
}
if (y >= HEIGHT) {
throw std::out_of_range { std::format("{} must be less than {}.", y, HEIGHT) };
}
}
template <typename T, size_t WIDTH, size_t HEIGHT>
const std::optional<T>& Grid<T, WIDTH, HEIGHT>::at(size_t x, size_t y) const {
verifyCoordinate(x, y);
return m_cells[x][y];
}
template <typename T, size_t WIDTH, size_t HEIGHT>
std::optional<T>& Grid<T, WIDTH, HEIGHT>::at(size_t x, size_t y) {
return const_cast<std::optional<T>&>(std::as_const(*this).at(x, y));
}
注意,之前你在哪里指定了 Grid<T>
,现在你必须指定 Grid<T, WIDTH, HEIGHT>
来指定三个模板参数。你可以这样实例化并使用这个模板:
Grid<int,
10, 10> myGrid;
Grid<int, 10, 10> anotherGrid;
myGrid.at(2, 3) = 42;
anotherGrid = myGrid;
cout << anotherGrid.at(2, 3).value_or(0);
这段代码看起来很棒,但不幸的是,存在比你最初预期的更多限制。首先,你不能使用非常量整数来指定高度或宽度。以下代码无法编译:
size_t height { 10 };
Grid<int, 10, height> testGrid; // 无法编译
然而,如果你将高度定义为常量,则可以编译:
const size_t height { 10 };
Grid<int, 10, height> testGrid; // 可编译并工作
具有正确返回类型的 constexpr
函数也可以工作。例如,如果你有一个返回 size_t
的 constexpr
函数,你可以用它来初始化高度模板参数:
constexpr size_t getHeight() { return 10; }
...
Grid<double, 2, getHeight()> myDoubleGrid;
第二个限制可能更重要。现在宽度和高度是模板参数,它们是每个网格类型的一部分。这意味着 Grid<int,10,10>
和 Grid<int,10,11>
是两种不同的类型。你不能将一种类型的对象赋值给另一种类型的对象,也不能将一种类型的变量传递给期望另一种类型变量的函数或方法。
注意:非类型模板参数成为实例化对象类型规范的一部分。
如果您继续使用高度和宽度作为模板参数的方法,您可能想为 Grid<T>
类构造函数中之前的高度和宽度非类型模板参数提供默认值。C++ 允许您使用类似的语法为模板参数提供默认值。同时,您也可以为 T
类型参数提供默认值。下面是类定义:
export template <typename T = int, size_t WIDTH = 10, size_t HEIGHT = 10>
class Grid {
// 其余部分与之前版本相同
};
在方法定义的模板规范中,您不需要为 T
、WIDTH
和 HEIGHT
指定默认值。例如,这是 at()
方法的实现:
template <typename T, size_t WIDTH, size_t HEIGHT>
const std::optional<T>& Grid<T, WIDTH, HEIGHT>::at(size_t x, size_t y) const {
verifyCoordinate(x, y);
return m_cells[x][y];
}
现在,您可以在没有任何模板参数的情况下实例化 Grid
,只需指定元素类型,元素类型和宽度,或元素类型、宽度和高度:
Grid<> myIntGrid;
Grid<int> myGrid;
Grid<int, 5> anotherGrid;
Grid<int, 5, 5> aFourthGrid;
请注意,如果您不指定任何类模板参数,您仍然需要指定一组空的尖括号。例如,以下代码无法编译!
Grid myIntGrid;
类模板参数列表中默认参数的规则与函数或方法相同;也就是说,您可以从右边开始为参数提供默认值。
类模板参数推导允许编译器自动从传递给类模板构造函数的参数推导出模板参数。例如,标准库中有一个名为 std::pair
的类模板,在 <utility>
中定义,并在第1章中介绍。pair
存储两个可能不同类型的值,通常需要指定为模板参数。例如:
pair<int, double> pair1 { 1, 2.3 };
为了避免编写模板参数,可以使用一个名为 std::make_pair()
的辅助函数模板。编写自己的函数模板的细节将在本章后面讨论。函数模板一直支持基于传递给函数模板的参数自动推导模板参数。因此,make_pair()
能够根据传递给它的值自动推导出模板类型参数。例如,编译器为以下调用推导出 pair<int, double>
:
auto pair2 { make_pair(1, 2.3) };
使用类模板参数推导(CTAD),不再需要这样的辅助函数模板。编译器现在会根据传递给构造函数的参数自动推导出模板类型参数。对于 pair
类模板,您可以简单地编写以下代码:
pair pair3 { 1, 2.3 }; // pair3 的类型为 pair<int, double>
当然,这仅在类模板的所有模板参数要么具有默认值,要么用作构造函数中的参数,从而可以推导出来时才有效。请注意,CTAD 要求有一个初始化器才能工作。以下是非法的:
pair pair4;
许多标准库类支持 CTAD,例如 vector
、array
等。
注意:这种类型推导对
std::unique_ptr
和shared_ptr
无效。您向它们的构造函数传递T*
,这意味着编译器必须在推导<T>
或<T[]>
之间选择,如果选错了就会很危险。因此,请记住,对于unique_ptr
和shared_ptr
,您需要继续使用make_unique()
和make_shared()
。
您也可以编写自己的用户定义推导指南来帮助编译器。这些指南允许您编写模板参数如何被推导的规则。这是一个高级主题,所以不会详细讨论,但会给出一个示例来展示它们的强大功能。假设您有以下 SpreadsheetCell
类模板:
template <typename T>
class SpreadsheetCell {
public:
SpreadsheetCell(T t) : m_content { move(t) } { }
const T& getContent() const { return m_content; }
private:
T m_content;
};
使用自动模板参数推导,您可以创建一个 std::string
类型的 SpreadsheetCell
:
string myString { "Hello World!" };
SpreadsheetCell cell { myString };
然而,如果您将 const char*
传递给 SpreadsheetCell
构造函数,则类型 T
被推导为 const char*
,这不是您想要的!您可以创建以下用户定义的推导指南,当向构造函数传递 const char*
作为参数时,使其将 T
推导为 std::string
:
SpreadsheetCell(const char*) -> SpreadsheetCell<std::string>;
这个指南必须在类定义
之外但在与 SpreadsheetCell
类相同的命名空间内定义。通用语法如下。explicit
关键字是可选的,其行为与构造函数的 explicit
相同。通常,这样的推导指南也是模板。
explicit TemplateName(Parameters) -> DeducedTemplate;
本文由哈喽比特于11月以前收录,如有侵权请联系我们。
文章来源:https://mp.weixin.qq.com/s/yl4nUHIefN2sOZjYn9lvmQ
京东创始人刘强东和其妻子章泽天最近成为了互联网舆论关注的焦点。有关他们“移民美国”和在美国购买豪宅的传言在互联网上广泛传播。然而,京东官方通过微博发言人发布的消息澄清了这些传言,称这些言论纯属虚假信息和蓄意捏造。
日前,据博主“@超能数码君老周”爆料,国内三大运营商中国移动、中国电信和中国联通预计将集体采购百万台规模的华为Mate60系列手机。
据报道,荷兰半导体设备公司ASML正看到美国对华遏制政策的负面影响。阿斯麦(ASML)CEO彼得·温宁克在一档电视节目中分享了他对中国大陆问题以及该公司面临的出口管制和保护主义的看法。彼得曾在多个场合表达了他对出口管制以及中荷经济关系的担忧。
今年早些时候,抖音悄然上线了一款名为“青桃”的 App,Slogan 为“看见你的热爱”,根据应用介绍可知,“青桃”是一个属于年轻人的兴趣知识视频平台,由抖音官方出品的中长视频关联版本,整体风格有些类似B站。
日前,威马汽车首席数据官梅松林转发了一份“世界各国地区拥车率排行榜”,同时,他发文表示:中国汽车普及率低于非洲国家尼日利亚,每百户家庭仅17户有车。意大利世界排名第一,每十户中九户有车。
近日,一项新的研究发现,维生素 C 和 E 等抗氧化剂会激活一种机制,刺激癌症肿瘤中新血管的生长,帮助它们生长和扩散。
据媒体援引消息人士报道,苹果公司正在测试使用3D打印技术来生产其智能手表的钢质底盘。消息传出后,3D系统一度大涨超10%,不过截至周三收盘,该股涨幅回落至2%以内。
9月2日,坐拥千万粉丝的网红主播“秀才”账号被封禁,在社交媒体平台上引发热议。平台相关负责人表示,“秀才”账号违反平台相关规定,已封禁。据知情人士透露,秀才近期被举报存在违法行为,这可能是他被封禁的部分原因。据悉,“秀才”年龄39岁,是安徽省亳州市蒙城县人,抖音网红,粉丝数量超1200万。他曾被称为“中老年...
9月3日消息,亚马逊的一些股东,包括持有该公司股票的一家养老基金,日前对亚马逊、其创始人贝索斯和其董事会提起诉讼,指控他们在为 Project Kuiper 卫星星座项目购买发射服务时“违反了信义义务”。
据消息,为推广自家应用,苹果现推出了一个名为“Apps by Apple”的网站,展示了苹果为旗下产品(如 iPhone、iPad、Apple Watch、Mac 和 Apple TV)开发的各种应用程序。
特斯拉本周在美国大幅下调Model S和X售价,引发了该公司一些最坚定支持者的不满。知名特斯拉多头、未来基金(Future Fund)管理合伙人加里·布莱克发帖称,降价是一种“短期麻醉剂”,会让潜在客户等待进一步降价。
据外媒9月2日报道,荷兰半导体设备制造商阿斯麦称,尽管荷兰政府颁布的半导体设备出口管制新规9月正式生效,但该公司已获得在2023年底以前向中国运送受限制芯片制造机器的许可。
近日,根据美国证券交易委员会的文件显示,苹果卫星服务提供商 Globalstar 近期向马斯克旗下的 SpaceX 支付 6400 万美元(约 4.65 亿元人民币)。用于在 2023-2025 年期间,发射卫星,进一步扩展苹果 iPhone 系列的 SOS 卫星服务。
据报道,马斯克旗下社交平台𝕏(推特)日前调整了隐私政策,允许 𝕏 使用用户发布的信息来训练其人工智能(AI)模型。新的隐私政策将于 9 月 29 日生效。新政策规定,𝕏可能会使用所收集到的平台信息和公开可用的信息,来帮助训练 𝕏 的机器学习或人工智能模型。
9月2日,荣耀CEO赵明在采访中谈及华为手机回归时表示,替老同事们高兴,觉得手机行业,由于华为的回归,让竞争充满了更多的可能性和更多的魅力,对行业来说也是件好事。
《自然》30日发表的一篇论文报道了一个名为Swift的人工智能(AI)系统,该系统驾驶无人机的能力可在真实世界中一对一冠军赛里战胜人类对手。
近日,非营利组织纽约真菌学会(NYMS)发出警告,表示亚马逊为代表的电商平台上,充斥着各种AI生成的蘑菇觅食科普书籍,其中存在诸多错误。
社交媒体平台𝕏(原推特)新隐私政策提到:“在您同意的情况下,我们可能出于安全、安保和身份识别目的收集和使用您的生物识别信息。”
2023年德国柏林消费电子展上,各大企业都带来了最新的理念和产品,而高端化、本土化的中国产品正在不断吸引欧洲等国际市场的目光。
罗永浩日前在直播中吐槽苹果即将推出的 iPhone 新品,具体内容为:“以我对我‘子公司’的了解,我认为 iPhone 15 跟 iPhone 14 不会有什么区别的,除了序(列)号变了,这个‘不要脸’的东西,这个‘臭厨子’。