第十三章 : Names in Templates_《C++ Templates》notes

Names in Templates

      • 重难点
      • 多选题
      • 设计题

重难点

1. 名称分类与基本概念
知识点：

  • 限定名（Qualified Name）：使用::或.显式指定作用域的名称（如std::vector）
  • 非限定名（Unqualified Name）：不带作用域限定的名称（如vector）
  • 依赖名（Dependent Name）：依赖于模板参数的名称（如T::value_type）
  • 非依赖名（Non-dependent Name）：不依赖模板参数的名称（如int）

测试用例：

#include <iostream>
#include <vector>template<typename T>
void foo() {T::value_type x;  // 依赖名（T未实例化前无法确定是否合法）
}int main() {foo<std::vector<int>>();  // 实例化时检查T::value_type合法性return 0;
}

2. 依赖名与非依赖名的查找规则
知识点：

  • 非限定名查找：
    • 普通查找（Ordinary Lookup）：在模板定义时查找所有可见的非依赖名
    • ADL（Argument-Dependent Lookup）：在模板实例化时查找关联命名空间
  • 限定名查找：
    • 直接在当前作用域链中查找，不触发ADL

示例代码：

namespace NS {struct S {};void bar(S) { std::cout << "NS::bar\n"; }
}template<typename T>
void baz(T t) {bar(t);  // 非限定名：普通查找+ADL
}int main() {NS::S s;baz(s);  // 调用NS::bar（通过ADL）return 0;
}

3. 注入类名（Injected Class Name）
知识点：

  • 类模板内部可以隐式使用类名作为模板名（无需<T>）
  • 在派生类中可通过Base::Base访问基类模板

示例代码：

#include <iostream>// 基类模板 Base
template<typename T>
class Base {
public:// 定义一个类型别名 type，其类型为模板参数 Tusing type = T;
};// 派生类模板 Derived，继承自 Base<T>
template<typename T>
class Derived : public Base<T> {
public:// 派生类的构造函数Derived() {// 显式使用完整的基类模板实例化形式typename Base<T>::type x;// 为了让代码更完整，我们可以给 x 赋值并输出x = static_cast<T>(10);std::cout << "Value of x: " << x << std::endl;}
};int main() {// 实例化 Derived 类模板，模板参数为 intDerived<int> d;return 0;
}

4. 友元模板（Friend Templates）
知识点：

  • 友元可以是函数模板、类模板或成员模板
  • 友元声明需在类外定义时显式指定模板参数

示例代码：

template<typename T>
class MyClass {friend void helper<>(MyClass<T>&);  // 友元函数模板
};template<typename T>
void helper(MyClass<T>& obj) {obj.value = 42;
}int main() {MyClass<int> obj;helper(obj);return 0;
}

5. 两阶段查找（Two-Phase Lookup）
知识点：

  • 第一阶段（定义时）：检查非依赖名，忽略模板参数
  • 第二阶段（实例化时）：检查依赖名，触发ADL

常见陷阱示例：

template<typename T>
void foo() {bar();  // 第一阶段查找bar，若未找到则报错
}namespace NS {void bar() {}
}int main() {foo<NS::Bar>();  // 错误！第一阶段未找到bar()return 0;
}

6. 代码测试与调试技巧
测试策略：

  1. 分阶段编译：先编译模板定义，再实例化观察错误
  2. 显式实例化：通过template class MyClass<int>;强制实例化
  3. 使用static_assert：在模板中添加静态断言验证条件

示例测试代码：

template<typename T>
class MyClass {static_assert(std::is_integral_v<T>, "T must be integral");
};int main() {MyClass<int> ok;       // 通过// MyClass<double> error;  // 编译失败（静态断言）return 0;
}

多选题

题目1
关于依赖名称的查找规则，以下哪些说法正确？
A. 非限定依赖名称在第二阶段通过ADL查找
B. 限定依赖名称直接在第一阶段查找
C. 成员模板中的依赖名称自动视为模板
D. typename关键字只能用于非限定依赖名称前

答案
A, C
详解
A正确：非限定依赖名称在第二阶段通过ADL查找
C正确：成员模板中的依赖名称需用template关键字显式指明

题目2
关于ADL的适用场景，以下哪些是正确的？
A. 查找非成员函数时参数类型所属的命名空间
B. 查找成员函数的基类链
C. 查找模板参数类型的嵌套类型
D. 查找全局作用域的函数

答案
A, C
详解
A正确：ADL通过参数类型所属命名空间查找函数
C正确：ADL会查找参数类型的嵌套类型

题目3
关于注入类名称，以下哪些描述正确？
A. 在类模板内部可直接使用未限定类名
B. 注入名称优先于外部同名函数
C. 可用于访问基类的成员
D. 实例化后指向具体模板实例

答案
A, D
详解
A正确：类模板内部可直接用MyClass代替MyClass<T>
D正确：注入名称在实例化后指向具体实例类型

题目4
关于名称查找阶段，以下哪些正确？
A. 非依赖名称仅在第一阶段查找
B. 依赖名称仅在第二阶段查找
C. 友元声明影响第二阶段查找
D. using声明影响第一阶段查找

答案
A, D
详解
A正确：非限定非依赖名称在第一阶段完成查找
D正确：using声明会向第一阶段作用域引入名称

题目5
关于模板参数作用域，以下哪些正确？
A. 模板参数作用域从声明处开始
B. 模板参数可隐藏外层作用域名称
C. 类模板参数作用域包含成员定义
D. 函数模板参数作用域包含默认实参

答案
A, B, C
详解
A正确：模板参数作用域起始于声明处
B正确：模板参数会隐藏外层同名名称
C正确：类模板参数作用域覆盖成员定义

题目6
关于友元声明的名称查找，以下哪些正确？
A. 友元函数声明影响普通名称查找
B. 友元类声明参与ADL查找
C. 显式友元模板影响第二阶段查找
D. 友元声明必须在使用前可见

答案
B, C
详解
B正确：友元类参与ADL查找路径
C正确：显式友元模板在第二阶段被考虑

题目7
关于using声明在模板中的作用，以下哪些正确？
A. 引入命名空间成员到模板作用域
B. 可用于解除名称隐藏
C. 必须在模板定义体外声明
D. 影响第一阶段名称查找

答案
A, B, D
详解
A正确：using可将命名空间成员引入当前作用域
B正确：可解除外层同名名称的隐藏
D正确：using声明影响第一阶段的普通查找

题目8
关于当前实例化的判断，以下哪些情况成立？
A. 直接使用未限定的类模板名
B. 访问成员模板的嵌套类型
C. 使用this->限定成员访问
D. 通过typename限定依赖类型

答案
A, B
详解
A正确：直接使用类模板名指向当前实例
B正确：成员模板的嵌套类型属于当前实例

题目9
关于两阶段查找的例外，以下哪些正确？
A. 非类型模板参数的默认实参在第二阶段处理
B. 虚函数表在第二阶段初始化
C. 默认成员初始化器在第一阶段处理
D. 异常规格不在两阶段处理范围内

答案
C, D
详解
C正确：默认成员初始化器在第一阶段处理
D正确：异常规格不属于两阶段处理范围

题目10
关于模板特化与名称查找的关系，以下哪些正确？
A. 显式特化不影响第一阶段查找
B. 偏特化参与第二阶段ADL查找
C. 全局特化优先于隐式实例化
D. 特化中的名称独立于主模板作用域

答案
A, C
详解
A正确：显式特化仅在实例化时被选择
C正确：显式全局特化优先于隐式实例化

设计题

题目1
设计一个模板类Logger，要求：

  • 支持日志级别（DEBUG/INFO/WARNING）
  • 使用ADL查找自定义日志处理器
  • 提供默认处理器输出到std::cout
  • 测试用例需验证ADL查找和默认行为

答案

#include <iostream>
#include <string>// 主模板
template<typename T>
class Logger {
public:void log(const std::string& msg) {handle_log(msg); // ADL查找自定义处理器}
};// 默认处理器（通过ADL查找）
void handle_log(const std::string& msg) {std::cout << "[DEFAULT] " << msg << std::endl;
}// 自定义处理器示例
namespace CustomLog {struct Handler {static void handle(const std::string& msg) {std::cerr << "[CUSTOM] " << msg << std::endl;}};// ADL辅助函数void handle_log(const std::string& msg) {Handler::handle(msg);}
}// 测试用例
int main() {Logger<int> logger1;logger1.log("Hello"); // 调用默认处理器Logger<CustomLog::Handler> logger2;logger2.log("World"); // 调用自定义处理器return 0;
}

题目2
实现一个依赖名称查找的智能指针模板，要求：

  • 支持自定义删除器
  • 删除器通过依赖名称查找
  • 默认删除器使用delete
  • 测试用例需验证自定义删除器和默认行为

答案

template<typename T, typename Deleter = void>
class SmartPtr {T* ptr;
public:SmartPtr(T* p) : ptr(p) {}~SmartPtr() {delete_ptr(ptr); // 依赖名称查找}private:// 依赖名称：通过ADL查找Deleter::delete_ptrvoid delete_ptr(T* p) {Deleter::delete_ptr(p);}
};// 默认删除器
struct DefaultDeleter {static void delete_ptr(void* p) {::delete static_cast<int*>(p);}
};// 自定义删除器
struct FileDeleter {static void delete_ptr(FILE* p) {fclose(p);}
};// 测试用例
int main() {SmartPtr<int> ptr1(new int(42)); // 使用默认删除器SmartPtr<FILE, FileDeleter> ptr2(fopen("test.txt", "w")); // 使用自定义删除器return 0;
}

题目3
设计一个支持注入类名称的模板元编程工具，要求：

  • 提供类型特征检测接口
  • 注入类名称简化成员访问
  • 测试用例验证注入名称和普通成员访问一致性

答案

template<typename T>
struct TypeTraits {// 注入类名称简化成员访问using value_type = typename T::value_type;using iterator = typename T::iterator;static constexpr bool has_size = requires(T t) {{ t.size() } -> std::convertible_to<std::size_t>;};
};// 测试容器
template<typename T>
struct MyContainer {using value_type = T;using iterator = T*;std::size_t size() const { return 0; }
};// 测试用例
int main() {static_assert(TypeTraits<MyContainer<int>>::has_size);static_assert(std::is_same_v<TypeTraits<MyContainer<int>>::value_type, int>);return 0;
}

题目4
实现一个支持当前实例化的模板偏特化检测器，要求：

  • 判断给定类型是否为当前实例化
  • 使用this->限定成员访问
  • 测试用例验证检测逻辑

答案

template<typename T>
struct IsCurrentInstantiation {static constexpr bool value = false;
};template<typename T>
struct MyClass {template<typename U>struct Inner {static constexpr bool is_current = std::is_same_v<U, MyClass<T>::Inner>; // 当前实例化检测};
};// 测试用例
int main() {MyClass<int>::Inner<double> inner;static_assert(inner.is_current);return 0;
}

题目5
设计一个结合ADL和模板参数作用域的工具，要求：

  • 自动注册类型到工厂类
  • 使用ADL查找注册函数
  • 测试用例验证多命名空间注册

答案

#include <map>
#include <string>// 类型注册工厂
template<typename Key>
class Registry {std::map<Key, std::string> registry;
public:template<typename T>void register_type(const std::string& name) {registry[name] = typeid(T).name(); // 依赖名称查找}void list_types() const {for (const auto& [name, type] : registry) {std::cout << name << " -> " << type << std::endl;}}
};// ADL注册函数
namespace NS1 {struct TypeA {};void register_type(Registry<TypeA>& reg, const std::string& name) {reg.register_type<TypeA>(name);}
}namespace NS2 {struct TypeB {};void register_type(Registry<TypeB>& reg, const std::string& name) {reg.register_type<TypeB>(name);}
}// 测试用例
int main() {Registry<TypeA> reg_a;NS1::register_type(reg_a, "TypeA");Registry<TypeB> reg_b;NS2::register_type(reg_b, "TypeB");reg_a.list_types();reg_b.list_types();return 0;
}

测试用例执行说明

  1. 编译命令（使用C++17标准）：
    g++ -std=c++17 -o test test.cpp && ./test
  2. 预期输出：
    • 题目1输出：
      [DEFAULT] Hello
[CUSTOM] World
    • 题目2输出（无输出，程序正常退出）
    • 题目3输出（无输出，静态断言通过）
    • 题目4输出（无输出，静态断言通过）
    • 题目5输出：
      TypeA -> St4TypeA
TypeB -> St4TypeB

设计要点说明

  1. ADL机制：通过自定义命名空间和辅助函数实现日志处理器的动态选择
  2. 依赖名称：delete_ptr方法通过依赖名称查找实现自定义删除逻辑
  3. 注入类名称：TypeTraits直接使用T::value_type简化成员访问
  4. 当前实例化检测：利用this->限定符实现模板偏特化的运行时检测
  5. 多命名空间注册：通过ADL在不同命名空间中注册类型到统一工厂

总结与学习路径

  1. 理解名称分类：区分依赖/非依赖名、限定/非限定名
  2. 掌握查找规则：普通查找 vs ADL，两阶段查找机制
  3. 实践友元与注入类名：通过代码示例熟悉语法
  4. 调试技巧：利用静态断言和分阶段编译定位问题

建议通过以下步骤巩固知识：

  1. 手动推导示例代码的名称查找过程
  2. 编写包含模板继承和友元的复杂案例
  3. 使用不同编译器（如GCC/Clang）观察错误信息差异

遇到具体问题时，可结合nm工具查看符号表，或使用-fdump-class-hierarchy等编译器选项分析模板实例化结果。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.rhkb.cn/news/38848.html

如若内容造成侵权/违法违规/事实不符，请联系长河编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

【读书笔记】华为《从偶然到必然》

【读书笔记】华为《从偶然到必然》

note 华为的成功并非偶然&#xff0c;而是通过IPD体系、投资组合管理、平台战略等系统性工具&#xff0c;将研发投资转化为可持续的商业竞争力。书中强调的“管理即内部因素”理念&#xff0c;揭示了企业规模扩张与管理能力匹配的深层规律&#xff0c;为高科技企业提供了可借鉴…
阅读更多...
表达式树和编译原理【10道经典面试题】（中英对照）

表达式树和编译原理【10道经典面试题】（中英对照）

表达式树&#xff08;Expression Tree&#xff09; 是一种用于表示数学表达式的二叉树结构。它在编译器设计、数学计算引擎、符号计算等领域有着广泛的应用&#xff08;《表达式树&#xff08;Expression Tree&#xff09;在编译器中的应用》&#xff09;。理解表达式树的构建、…
阅读更多...
【redis】主从复制：单点问题、配置详解、特点详解

【redis】主从复制：单点问题、配置详解、特点详解

文章目录 单点问题什么是主从复制主从模式能解决的问题并发量有限可用性问题 配置建立复制通过配置文件来指定端口配置主从查看集群结构 断开复制 特点安全性只读传输延迟 单点问题 分布式系统中&#xff0c;涉及到一个非常关键的问题&#xff1a;单点问题 某个服务器程序&…
阅读更多...
VSCode 生成HTML 基本骨架

VSCode 生成HTML 基本骨架

在VSCode 新建html文件中敲一个英文感叹号 ! <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><meta name"viewport" content"widthdevice-width, initial-scale1.0"><titl…
阅读更多...
STM32定时器-01定时器概述

STM32定时器-01定时器概述

内容概述 定时器是STM32中功能最强大、结构最复杂的一个外设&#xff0c;分为四部分&#xff1a; 一部分&#xff1a;定时中断功能 二部分&#xff1a;定时器输出比较&#xff0c;常见的用途&#xff1a;产生PWM波形&#xff0c;驱动电机&#xff08;如驱动舵机和直流电机&…
阅读更多...
在 Ubuntu 中用 Docker 安装 RAGFlow

在 Ubuntu 中用 Docker 安装 RAGFlow

一、安装 1.前提条件 CPU > 4 核 RAM > 16 GB Disk > 50 GB Docker > 24.0.0 & Docker Compose > v2.26.1 安装docker&#xff1a;在Ubuntu中安装Docker并配置国内镜像 2.设置 vm.max_map_count #设置 vm.max_map_count 不小于 262144# 查看 sysctl vm.…
阅读更多...
17153 班级活动

17153 班级活动

17153 班级活动 ⭐️难度&#xff1a;简单 &#x1f31f;考点&#xff1a;2023、思维、国赛 &#x1f4d6; &#x1f4da; import java.util.Arrays; import java.util.LinkedList; import java.util.Queue; import java.util.Scanner;public class Main {static int N 10…
阅读更多...
Java IO 流：从字节到字符再到Java 装饰者模式（Decorator Pattern），解析与应用掌握数据流动的艺术

Java IO 流：从字节到字符再到Java 装饰者模式（Decorator Pattern），解析与应用掌握数据流动的艺术

在 Java 编程中&#xff0c;IO&#xff08;输入输出&#xff09;流是处理数据输入输出的核心工具。无论是读取文件、网络通信&#xff0c;还是处理用户输入&#xff0c;IO 流都扮演着重要角色。本文将深入探讨 Java IO 流的核心概念、分类、经典代码实例及其应用场景&#xff0…
阅读更多...
HTTPS

HTTPS

目录 一 HTTPS是什么 二 加密 三 加密方案 四 CA机构/证书 五 最终方案(对称密钥/非对称密钥/CA证书)和总体流程 一 HTTPS是什么 在应用层存在SSL&#xff0c;TLS(HTTP之下&#xff0c;传输层之上)加密/解密安全协议&#xff0c;如果HTTP经过这个协议&#xff0c;对端也走…
阅读更多...
StarRocks 主键（Primary Key）深度解析

StarRocks 主键（Primary Key）深度解析

一、StarRocks 产品简介 StarRocks 是一款高性能分析型数据库&#xff0c;专为海量数据的实时分析而设计。作为新一代湖仓&#xff08;Lakehouse&#xff09;加速引擎&#xff0c;StarRocks 融合了 MPP 架构和列式存储引擎的优势&#xff0c;能够支持亿级数据秒级查询响应。 …
阅读更多...
(学习总结30)Linux 进程优先级、进程切换和环境变量

(学习总结30)Linux 进程优先级、进程切换和环境变量

Linux 进程优先级、进程切换和环境变量 进程优先级基本概念查看系统进程PRI 和 NI 解释进程优先级调整命令行调整进程优先级调整新进程调度优先级命令 nice调整已运行进程调度优先级命令 renice 使用 top 调整进程优先级使用系统调用调整进程优先级 进程的竞争、独立、并行、并…
阅读更多...
《Manus学习手册》.pdf（文末附完整版下载地址）

《Manus学习手册》.pdf（文末附完整版下载地址）

大家好&#xff0c;我是吾鳴。 吾鳴今天要给大家分享的一份比较全面详细的Manus学习手册&#xff0c;该学习手册主要包含Manus产品概述与核心理念、Manus功能与使用场景、Manus技术架构与工作流、Manus案例库与用户实践、邀请码获取与内测信息、Manus与传统AI对比与优势、用户评…
阅读更多...
【MySQL】从零开始：掌握MySQL数据库的核心概念（三）

【MySQL】从零开始：掌握MySQL数据库的核心概念（三）

人生碌碌&#xff0c;竞短论长&#xff0c;却不道枯荣有数&#xff0c;得失难量。 前言 这是我自己学习MySQL数据库的第二篇博客总结。后期我会继续把MySQL数据库学习笔记开源至博客上。 上一期笔记是关于MySQL数据库的数据类型&#xff0c;没看的同学可以过去看看&#xff1a…
阅读更多...
Web3智能合约与数据交互安全性探讨

Web3智能合约与数据交互安全性探讨

Web3智能合约与数据交互安全性探讨 随着区块链技术的飞速发展&#xff0c;Web3的概念已经成为技术圈的热门话题。Web3不仅仅是技术迭代&#xff0c;它代表了一种全新的互联网交互方式&#xff0c;其中智能合约扮演着核心角色。智能合约是自动执行、控制或文档化法律事件和行动…
阅读更多...
人工智能赋能山西乡村振兴：智能空间规划与可持续发展

人工智能赋能山西乡村振兴：智能空间规划与可持续发展

摘要&#xff1a;随着人工智能技术的快速发展&#xff0c;山西乡村振兴面临着从传统农业到智能化现代化转型的重大机遇。本文探讨了人工智能在山西乡村振兴中的具体应用&#xff0c;重点分析了智能空间规划、生态保护与环境治理、产业转型以及基础设施升级的可能路径。文章从数…
阅读更多...
QT三 自定义控件

QT三 自定义控件

一 自定义控件 现在的需求是这样&#xff1a; 假设我们要在QWidget 上做定制&#xff0c;这个定制包括了关于 一些事件处理&#xff0c;意味着要重写QWidget的一些代码&#xff0c;这是不实际的&#xff0c;因此我们需要自己写一个MyWidget继承QWidget&#xff0c;然后再MyWi…
阅读更多...
【C++ 进阶】语句：从基础到实践

【C++ 进阶】语句：从基础到实践

目录 一、输入输出体系的范式革命 1.1 C语言的格式化 1.2 C的流抽象革命 二、字符串处理的抽象跃迁 2.1 C语言的字符指针 2.2 C的string类革命 三、结构体到类的类型系统进化 3.1 C语言的结构体局限 3.2 C类的革命性演进 四、基础控制语句差异 4.1 条件语句&#xf…
阅读更多...
C语言操作符

C语言操作符

&#x1f31f; 各位看官好&#xff0c;我是maomi_9526&#xff01; &#x1f30d; 种一棵树最好是十年前&#xff0c;其次是现在&#xff01; &#x1f680; 今天来学习C语言的相关知识。 &#x1f44d; 如果觉得这篇文章有帮助&#xff0c;欢迎您一键三连&#xff0c;分享给更…
阅读更多...
PostgreSQL：语言基础与数据库操作

PostgreSQL：语言基础与数据库操作

&#x1f9d1; 博主简介&#xff1a;CSDN博客专家&#xff0c;历代文学网&#xff08;PC端可以访问&#xff1a;https://literature.sinhy.com/#/?__c1000&#xff0c;移动端可微信小程序搜索“历代文学”&#xff09;总架构师&#xff0c;15年工作经验&#xff0c;精通Java编…
阅读更多...
KMP算法

KMP算法

KMP算法 为什么叫做KMP呢。 因为是由这三位学者发明的&#xff1a;Knuth&#xff0c;Morris和Pratt&#xff0c;所以取了三位学者名字的首字母。所以叫做KMP next数组就是一个前缀表&#xff08;prefix table&#xff09;。 前缀表是用来回退的&#xff0c;它记录了模式串与…
阅读更多...
最新文章
推荐文章

Copyright @ 2022~2023