C++泛型编程指南03-CTAD

文章目录

      • C++17 自定义类型推断指引（CTAD）深度解析
        • 一、基础概念
          • 1. 核心作用
          • 2. 工作原理
        • 二、标准库中的 CTAD 应用
          • 1. 容器类型推导
          • 2. 智能指针推导
          • 3. 元组类型推导
        • 三、自定义推导指引语法
          • 1. 基本语法结构
          • 2. 典型应用场景
        • 四、推导指引设计模式
          • 1. 迭代器范围构造
          • 2. 工厂函数模拟
          • 3. 多参数类型合成
        • 五、编译器行为规则
          • 1. 隐式生成规则
          • 2. 显式指引优先级
        • 六、高级应用技巧
          • 1. 类型萃取结合
          • 2. 可变参数推导
          • 3. 继承体系处理
        • 七、典型问题与解决方案
          • 1. 构造函数重载冲突
          • 2. 部分参数推导
          • 3. 防止错误推导
        • 八、CTAD 最佳实践
        • 九、与其他特性的交互
        • 十、编译器支持与版本控制
  • CTAD例子
      • 示例 1: 自定义容器推导指引
      • 示例 2: 自定义工厂函数推导指引
      • 示例 3: 结合概念约束的推导指引
      • 示例 4: 使用默认模板参数的 CTAD
      • 示例 5: 结合类型转换的 CTAD
      • 示例 6: 使用可变参数模板的 CTAD

C++17 自定义类型推断指引（CTAD）深度解析

CTAD（Class Template Argument Deduction，类模板参数推导）是 C++17 引入的重要特性，允许编译器根据构造函数参数自动推导类模板参数类型。该特性通过 用户自定义推导指引（User-defined Deduction Guides）实现模板参数类型的智能推导。

一、基础概念
1. 核心作用
  • 消除冗余类型声明：无需显式指定模板参数类型
  • 提升代码简洁性：使类模板使用方式接近普通类
  • 增强标准库易用性：支持std::vector{1,2,3}式初始化
2. 工作原理
template<typename T>
struct MyWrapper {
    MyWrapper(T value);  // 构造函数
};

// 使用 CTAD
MyWrapper w(42);  // 推导为 MyWrapper<int>
二、标准库中的 CTAD 应用
1. 容器类型推导
std::vector data{1, 2, 3};       // 推导为 vector<int>
std::list names{"Alice", "Bob"}; // 推导为 list<const char*>
2. 智能指针推导
auto p = std::make_shared(5.0);  // shared_ptr<double>
auto u = std::make_unique("text"); // unique_ptr<const char*>
3. 元组类型推导
std::tuple tpl(42, 3.14, "C++"); // tuple<int, double, const char*>
三、自定义推导指引语法
1. 基本语法结构
template<模板参数列表>
ClassName(构造函数参数类型列表) -> 目标模板实例化类型;
2. 典型应用场景
template<typename T>
struct CustomContainer {
    CustomContainer(T* ptr, size_t size);  // 指针+大小构造
};

// 推导指引：从数组创建容器
template<typename T, size_t N>
CustomContainer(T(&)[N]) -> CustomContainer<T>;
四、推导指引设计模式
1. 迭代器范围构造
template<typename T>
class DataSet {
public:
    template<typename Iter>
    DataSet(Iter begin, Iter end);
};

// 推导指引
template<typename Iter>
DataSet(Iter, Iter) -> DataSet<typename std::iterator_traits<Iter>::value_type>;
2. 工厂函数模拟
template<typename T>
struct Factory {
    template<typename... Args>
    Factory(Args&&... args);
};

// 推导指引：根据构造参数推导类型
template<typename... Args>
Factory(Args&&...) -> Factory<std::common_type_t<Args...>>;
3. 多参数类型合成
template<typename T, typename U>
struct Pair {
    T first;
    U second;
    Pair(const T& t, const U& u);
};

// 推导指引：自动合成类型
Pair(const auto&, const auto&) -> Pair<std::decay_t<decltype(arg1)>, 
                                      std::decay_t<decltype(arg2)>>;
五、编译器行为规则
1. 隐式生成规则

当未显式提供推导指引时，编译器会尝试：

  • 匹配所有构造函数
  • 对每个构造函数生成隐式推导指引
template<typename T>
struct Box {
    Box(T);           // 生成 Box(T) -> Box<T>
    Box(T, T);        // 生成 Box(T, T) -> Box<T>
};
2. 显式指引优先级
template<typename T>
struct Example {
    Example(T);
    Example(int);
};

// 显式指引优先于隐式生成
Example(int) -> Example<std::string>;

Example e1(42);  // 使用显式指引 → Example<std::string>
Example e2(3.14); // 使用隐式指引 → Example<double>
六、高级应用技巧
1. 类型萃取结合
template<typename T>
struct SmartPointer {
    template<typename U>
    SmartPointer(U* ptr);
};

// 使用类型萃取约束指针类型
template<typename U>
requires std::is_base_of_v<BaseClass, U>
SmartPointer(U*) -> SmartPointer<BaseClass>;
2. 可变参数推导
template<typename... Ts>
struct TupleWrapper {
    TupleWrapper(Ts... values);
};

// 推导可变参数类型
TupleWrapper(Ts...) -> TupleWrapper<Ts...>;
3. 继承体系处理
template<typename T>
struct Base {};

template<typename T>
struct Derived : Base<T> {
    Derived(T);
};

// 处理基类模板参数推导
Derived(T) -> Derived<T>;  // 确保正确推导基类参数
七、典型问题与解决方案
1. 构造函数重载冲突
template<typename T>
struct Conflicting {
    Conflicting(int);
    Conflicting(T);
};

// 解决方案：显式指定优先级
Conflicting(int) -> Conflicting<int>;
Conflicting(T) -> Conflicting<T>;
2. 部分参数推导
template<typename T, typename U>
struct MixedType {
    MixedType(T, U);
};

// 显式指定部分参数类型
template<typename U>
MixedType(const char*, U) -> MixedType<std::string, U>;
3. 防止错误推导
template<typename T>
struct Dangerous {
    Dangerous(std::initializer_list<T>);
};

// 限制初始化列表类型
template<typename T>
Dangerous(std::initializer_list<T>) -> Dangerous<T>;  // 防止类型退化
八、CTAD 最佳实践
  1. 谨慎设计构造函数：避免过于通用的构造函数签名
  2. 优先使用显式指引：明确表达设计意图
  3. 结合概念约束（C++20）：增强类型安全性
  4. 单元测试验证：确保推导结果符合预期
  5. 文档注释说明：记录特殊推导规则
九、与其他特性的交互
特性组合应用场景示例代码片段
CTAD + 结构化绑定同时推导容器元素类型和结构auto [x,y] = Point{1,2};
CTAD + 概念约束类型安全的泛型构造requires integral<T> Vector(T init)
CTAD + 变参模板灵活的类型组合推导Tuple{1, "text", 3.14}
CTAD + 移动语义优化资源管理类型推导UniquePtr ptr(new Resource);
十、编译器支持与版本控制
编译器最低支持版本特性完整度
GCC7.0+完整支持
Clang5.0+完整支持
MSVC2017 15.7+完整支持

通过合理应用 CTAD 技术，开发者可以：

  • 显著提升模板类使用的直观性
  • 减少冗余的类型声明代码
  • 增强模板库的易用性和可维护性
  • 实现更优雅的 API 设计

建议在实际工程中结合编译器的诊断信息和静态断言（static_assert）进行严格验证，确保类型推导结果符合预期。

CTAD例子

当然可以。以下是完整的代码示例，包括了之前提到的改进和新增加的例子。每个例子都展示了类模板参数推导（CTAD）的不同应用方式。

示例 1: 自定义容器推导指引

#include <iostream>
#include <typeinfo>

template<typename T>
class Container {
public:
    Container(T* ptr, size_t size) : data(ptr), size(size) {}
    
    void print() const {
        std::cout << "Container of type: " << typeid(T).name() << std::endl;
    }

private:
    T* data;
    size_t size;
};

// 用户自定义推导指引
template<typename T, size_t N>
Container(T(&)[N]) -> Container<T>;

int main() {
    int arr[] = {1, 2, 3};
    Container container(arr);  // 推导为 Container<int>
    container.print();  // 输出 "Container of type: i" (取决于编译器)
}

示例 2: 自定义工厂函数推导指引

#include <iostream>
#include <typeinfo>
#include <type_traits>

template<typename T>
class Widget {
public:
    Widget(T value) : value(value) {}

    void print() const {
        std::cout << "Widget of type: " << typeid(T).name() << std::endl;
    }

private:
    T value;
};

// 用户自定义推导指引
template<typename... Args>
Widget(Args&&...) -> Widget<std::common_type_t<Args...>>;

int main() {
    Widget w(1, 2.0, "three");  // 推导为 Widget<double>
    w.print();  // 输出 "Widget of type: d" (取决于编译器)
}

示例 3: 结合概念约束的推导指引

#include <concepts>
#include <iostream>
#include <typeinfo>

template<typename T>
concept Integral = std::is_integral_v<T>;

template<Integral T>
class SafeInteger {
public:
    SafeInteger(T val) : value(val) {}

    void print() const {
        std::cout << "SafeInteger of type: " << typeid(T).name() << std::endl;
    }

private:
    T value;
};

// 用户自定义推导指引
template<Integral T>
SafeInteger(T) -> SafeInteger<T>;

int main() {
    SafeInteger si(42);  // 推导为 SafeInteger<int>
    si.print();  // 输出 "SafeInteger of type: i" (取决于编译器)
}

示例 4: 使用默认模板参数的 CTAD

#include <iostream>
#include <typeinfo>

template<typename T, typename U = int>
class Pair {
public:
    T first;
    U second;

    Pair(T f, U s) : first(f), second(s) {}

    void print() const {
        std::cout << "Pair of types: " << typeid(T).name() << ", " << typeid(U).name() << std::endl;
    }
};

// 用户自定义推导指引
template<typename T, typename U>
Pair(T, U) -> Pair<T, U>;

int main() {
    Pair pair(10, 20.5); // 推导为 Pair<int, double>，U 被自动推导为 double
    pair.print(); // 输出 "Pair of types: i, d" (取决于编译器)
}

示例 5: 结合类型转换的 CTAD

#include <iostream>
#include <typeinfo>

class Base {};
class Derived : public Base {};

template<typename T>
class Wrapper {
public:
    Wrapper(T* ptr) : ptr(ptr) {}

    void print() const {
        std::cout << "Wrapper of type: " << typeid(T).name() << std::endl;
    }

private:
    T* ptr;
};

// 用户自定义推导指引
template<typename T>
Wrapper(T*) -> Wrapper<T>;

int main() {
    Derived derived;
    Wrapper wrapper(&derived); // 自动推导为 Wrapper<Derived>
    wrapper.print(); // 输出 "Wrapper of type: 7Derived" (取决于编译器)
}

示例 6: 使用可变参数模板的 CTAD

#include <iostream>
#include <typeinfo>

template<typename... Args>
class TupleHolder {
public:
    void print() const {
        std::cout << "TupleHolder contains types: ";
        ((std::cout << typeid(Args).name() << " "), ...);
        std::cout << std::endl;
    }
};

// 用户自定义推导指引
template<typename... Args>
TupleHolder(Args...) -> TupleHolder<Args...>;

int main() {
    TupleHolder holder(1, 'a', 3.14); // 推导为 TupleHolder<int, char, double>
    holder.print(); // 输出 "TupleHolder contains types: i a d" (取决于编译器)
}

这些例子覆盖了从简单的容器推导到复杂的类型转换和可变参数模板的应用。通过使用CTAD技术，您可以简化模板类的实例化过程，并结合其他现代C++特性来增强代码的灵活性和安全性。希望这些示例能帮助您更好地理解和应用CTAD技术。

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

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

DeepSeek R1 linux云部署

DeepSeek R1 linux云部署

云平台&#xff1a;AutoDL 模型加载工具&#xff1a;Ollama 参考&#xff1a;https://github.com/ollama/ollama/blob/main/docs/linux.md 下载Ollama 服务器上下载ollama比较慢&#xff0c;因此我使用浏览器先下载到本地电脑上。 https://ollama.com/download/ollama-linux…
阅读更多...
FlashAttention v1 论文解读

FlashAttention v1 论文解读

论文标题&#xff1a;FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness 论文地址&#xff1a;https://arxiv.org/pdf/2205.14135 FlashAttention 是一种重新排序注意力计算的算法&#xff0c;它无需任何近似即可加速注意力计算并减少内存占用。…
阅读更多...
Vue - shallowRef 和 shallowReactive

Vue - shallowRef 和 shallowReactive

一、shallowRef 和 shallowReactive &#xff08;一&#xff09;shallowRef 在 Vue 3 中&#xff0c;shallowRef 是一个用于创建响应式引用的 API&#xff0c;它与 ref 相似&#xff0c;但它只会使引用的基本类型&#xff08;如对象、数组等&#xff09;表现为响应式&#xf…
阅读更多...
【深度学习】softmax回归的简洁实现

【深度学习】softmax回归的简洁实现

softmax回归的简洁实现 我们发现(通过深度学习框架的高级API能够使实现)(softmax)线性(回归变得更加容易)。 同样&#xff0c;通过深度学习框架的高级API也能更方便地实现softmax回归模型。 本节继续使用Fashion-MNIST数据集&#xff0c;并保持批量大小为256。 import torch …
阅读更多...
ESP32-c3实现获取土壤湿度（ADC模拟量）

ESP32-c3实现获取土壤湿度（ADC模拟量）

1硬件实物图 2引脚定义 3使用说明 4实例代码 // 定义土壤湿度传感器连接的模拟输入引脚 const int soilMoisturePin 2; // 假设连接到GPIO2void setup() {// 初始化串口通信Serial.begin(115200); }void loop() {// 读取土壤湿度传感器的模拟值int sensorValue analogRead…
阅读更多...
【python】python油田数据分析与可视化（源码+数据集）【独一无二】

【python】python油田数据分析与可视化（源码+数据集）【独一无二】

&#x1f449;博__主&#x1f448;&#xff1a;米码收割机 &#x1f449;技__能&#x1f448;&#xff1a;C/Python语言 &#x1f449;专__注&#x1f448;&#xff1a;专注主流机器人、人工智能等相关领域的开发、测试技术。 【python】python油田数据分析与可视化&#xff08…
阅读更多...
代码讲解系列-CV（一）——CV基础框架

代码讲解系列-CV（一）——CV基础框架

文章目录 一、环境配置IDE选择一套完整复现安装自定义cuda算子 二、Linux基础文件和目录操作查看显卡状态压缩和解压 三、常用工具和pipeline远程文件工具版本管理代码辅助工具 随手记录下一个晚课 一、环境配置 pytorch是AI框架用的很多&#xff0c;或者 其他是国内的框架 an…
阅读更多...
HTB：Alert[WriteUP]

HTB：Alert[WriteUP]

目录 连接至HTB服务器并启动靶机 信息收集 使用rustscan对靶机TCP端口进行开放扫描 使用nmap对靶机TCP开放端口进行脚本、服务扫描 使用nmap对靶机TCP开放端口进行漏洞、系统扫描 使用nmap对靶机常用UDP端口进行开放扫描 使用ffuf对alert.htb域名进行子域名FUZZ 使用go…
阅读更多...
小红的合数寻找

小红的合数寻找

A-小红的合数寻找_牛客周赛 Round 79 题目描述 小红拿到了一个正整数 x&#xff0c;她希望你在 [x,2x] 区间内找到一个合数&#xff0c;你能帮帮她吗&#xff1f; 一个数为合数&#xff0c;当且仅当这个数是大于1的整数&#xff0c;并且不是质数。 输入描述 在一行上输入一…
阅读更多...
Linux环境下的Java项目部署技巧：安装 Mysql

Linux环境下的Java项目部署技巧：安装 Mysql

查看 myslq 是否安装&#xff1a; rpm -qa|grep mysql 如果已经安装&#xff0c;可执行命令来删除软件包&#xff1a; rpm -e --nodeps 包名 下载 repo 源&#xff1a; http://dev.mysql.com/get/mysql80-community-release-el7-7.noarch.rpm 执行命令安装 rpm 源(根据下载的…
阅读更多...
基于springboot+vue的哈利波特书影音互动科普网站

基于springboot+vue的哈利波特书影音互动科普网站

开发语言&#xff1a;Java框架&#xff1a;springbootJDK版本&#xff1a;JDK1.8服务器&#xff1a;tomcat7数据库&#xff1a;mysql 5.7&#xff08;一定要5.7版本&#xff09;数据库工具&#xff1a;Navicat11开发软件&#xff1a;eclipse/myeclipse/ideaMaven包&#xff1a;…
阅读更多...
在React中使用redux

在React中使用redux

一、首先安装两个插件 1.Redux Toolkit 2.react-redux 第一步&#xff1a;创建模块counterStore 第二步&#xff1a;在store的入口文件进行子模块的导入组合 第三步&#xff1a;在index.js中进行store的全局注入 第四步&#xff1a;在组件中进行使用 第五步&#xff1a;在组件中…
阅读更多...
记录 | 基于MaxKB的文字生成视频

记录 | 基于MaxKB的文字生成视频

目录 前言一、安装SDK二、创建视频函数库三、调试更新时间 前言 参考文章&#xff1a;如何利用智谱全模态免费模型&#xff0c;生成大家都喜欢的图、文、视并茂的文章&#xff01; 自己的感想 本文记录了创建文字生成视频的函数库的过程。如果想复现本文&#xff0c;需要你逐一…
阅读更多...
Redis｜前言

Redis｜前言

文章目录 什么是 Redis&#xff1f;Redis 主流功能与应用 什么是 Redis&#xff1f; Redis&#xff0c;Remote Dictionary Server&#xff08;远程字典服务器&#xff09;。Redis 是完全开源的&#xff0c;使用 ANSIC 语言编写&#xff0c;遵守 BSD 协议&#xff0c;是一个高性…
阅读更多...
安全防护前置

安全防护前置

就业概述 网络安全工程师/安全运维工程师/安全工程师 安全架构师/安全专员/研究院&#xff08;数学要好&#xff09; 厂商工程师&#xff08;售前/售后&#xff09; 系统集成工程师&#xff08;所有计算机知识都要会一点&#xff09; 学习目标 前言 网络安全事件 蠕虫病毒--&…
阅读更多...
开源2 + 1链动模式AI智能名片S2B2C商城小程序视角下从产品经营到会员经营的转型探究

开源2 + 1链动模式AI智能名片S2B2C商城小程序视角下从产品经营到会员经营的转型探究

摘要&#xff1a;本文聚焦于开源2 1链动模式AI智能名片S2B2C商城小程序&#xff0c;深入探讨在其应用场景下&#xff0c;企业从产品经营向会员经营转型的必要性与策略。通过分析如何借助该平台优化会员权益与价值&#xff0c;解决付费办卡的接受度问题&#xff0c;揭示其在提升…
阅读更多...
让banner.txt可以自动读取项目版本

让banner.txt可以自动读取项目版本

文章目录 1.sunrays-dependencies1.配置插件2.pluginManagement统一指定版本 2.common-log4j2-starter1.banner.txt使用$ 符号取出2.查看效果 1.sunrays-dependencies 1.配置插件 <!-- 为了让banner.txt自动获取版本号 --><plugin><groupId>org.apache.mave…
阅读更多...
音视频多媒体编解码器基础-codec

音视频多媒体编解码器基础-codec

如果要从事编解码多媒体的工作&#xff0c;需要准备哪些更为基础的内容&#xff0c;这里帮你总结完。 因为数据类型不同所以编解码算法不同&#xff0c;分为图像、视频和音频三大类&#xff1b;因为流程不同&#xff0c;可以分为编码和解码两部分&#xff1b;因为编码器实现不…
阅读更多...
openmv运行时突然中断并且没断联只是跟复位了一样

openmv运行时突然中断并且没断联只是跟复位了一样

就是 # 内存不足时硬件复位 except MemoryError as me: print("Memory Error:", me) pyb.hard_reset() # 内存不足时硬件复位 很有可能是你的代码加了内存溢出的复位&#xff0c;没加的话他会报错的
阅读更多...
Redis集群理解以及Tendis的优化

Redis集群理解以及Tendis的优化

主从模式 主从同步 同步过程&#xff1a; 全量同步&#xff08;第一次连接&#xff09;&#xff1a;RDB文件加缓冲区&#xff0c;主节点fork子进程&#xff0c;保存RDB&#xff0c;发送RDB到从节点磁盘&#xff0c;从节点清空数据&#xff0c;从节点加载RDB到内存增量同步&am…
阅读更多...
最新文章

Copyright @ 2022~2023