当前位置: 首页 > news >正文

2308C++概念化

原文

//概念化(需要`C++20`)
struct 可画 {void(小出流 &out) const {te::call([](auto const &s, auto &out)-> decltype(s.(out)) { s.(out); }, *this, out);}
};
struct 方形 {void(小出流 &out) const { out << "方形"; }
};
template<te::概念化<可画> T>
void(T const &可画) { 可画.(cout);
}
int main() {auto 可画 = 方形{};(可画);  //打印方形
}

编译期绑定的过程

首先是利用有状态的模板元绑定鸭子类型与接口.

struct 可画 {void(小出流 &out) const {te::call([](auto const &s, auto &out)-> decltype(s.(out)) { s.(out); }, *this, out);}
};

表面是分发给自己实现的函数;但里层却被te库传递给te::callλ式的类型,绑定了可画型.
接着分析te::call的里层实现:

template <...>
constexpr auto call(const TExpr expr, const I &interface, Ts &&... args)
{...return detail::call_impl<I>(...);
}//转发template <...>
constexpr auto call_impl(...)
{void(类 映射<I, N>::元 set<型列<TExpr, Ts...> >{});return ...;
}

代码非常简单,展开实例化,绑定了映射te::call传递的λ型.
绑定是靠友元注入:

template <class, size_t>
struct 映射 final {friend auto get(映射);template <class T>struct set {friend auto get(映射) { return T{}; }};
};

实例化映射元后,get友元函数会有个声明式,此时无法确定auto返回值的类型.试实例化映射元结果的set内嵌元时,有get友元函数的定义式,此时按T绑定auto返回值的类型.

就可简单地根据能否推导出get返回值类型来决定绑定结果.以可画的示例,绑定结果如下:

映射<可画, 1>::set<型列<λ型, 小出流&>>

概念化的过程

概念化的过程.遍历所有编译期绑定结果,每个绑定都记录了鸭子类型λ类型及调用形参组成的型列.
然后测试每一个绑定的λ型,看看是否可正确实例化λ类型结果的元调用符.实现代码如下:

template <class T, class TExpr, class... Ts>
constexpr auto requires_impl(型列<TExpr, Ts...>)-> decltype(&TExpr::template operator()<T, Ts...>);
template <class I, class T, size_t... Ns>
constexpr auto requires_impl(index_sequence<Ns...>) -> 型列<decltype(requires_impl<I>(decltype(get(映射<T, Ns + 1>{})){}))...>;
}  //名字空间细节
template <class I, class T>
concept bool 概念化 = requires {detail::requires_impl<I, T>(make_index_sequence<detail::映射大小<T, I>()>{});
};

可画鸭子类型与方形实现类型的约束检查过程如下:
首先方形对象传入了方法,会实例化te::conceptfiy并检查是否满足约束:

struct 方形 {void(小出流 &out) const { out << "方形"; }
};
template<te::概念化<可画> T>
void(T const &可画) { 可画.(cout);
}(方形{});

检查约束是否满足时,会遍历可画绑定的所有接口.这里只绑定了函数,所以只会遍历一个绑定结果:

auto λ = [](auto const &s, auto &out)-> decltype(s.(out)) { s.(out); };
using λ型 = decltype(λ);
型列<λ型, 小出流&>;

此时试实例化并推导&λ型::元 符号()<小出流&>的类型,如果成功则满足约束.注意,该λ的能否成功推导关键在,λ函数体后置返回值式的推导结果:

[](auto const &s, auto &out)
//关键点:尾返回类型
-> decltype(s.(out))
//关键点:尾返回类型
{ s.(out); };

此时s的类型推到为方形 const&,如果方形类型没有实现方法,返回值推导无法,整个λ式的推导触发会SFINAE机制,导致实例化失败.
最后输出编译器错误是不满足概念化的约束,非常优雅!

相关文章:

2308C++概念化

原文 库 //概念化(需要C20) struct 可画 {void 画(小出流 &out) const {te::call([](auto const &s, auto &out)-> decltype(s.画(out)) { s.画(out); }, *this, out);} }; struct 方形 {void 画(小出流 &out) const { out << "方形"; } }…...

flutter开发实战-实现自定义按钮类似UIButton效果

flutter开发实战-实现自定义按钮类似UIButton效果 最近开发过程中需要实现一下UIButton效果的flutter按钮&#xff0c;这里使用的是监听手势点击事件。 一、GestureDetector GestureDetector属性定义 GestureDetector({super.key,this.child,this.onTapDown,this.onTapUp,t…...

深度优先搜索|1034, 1020, 1254

深度优先搜索|1034. 边界着色&#xff0c; 机器人的运动范围&#xff0c;529. 扫雷游戏 边界着色机器人的运动范围扫雷问题 边界着色 把这个题分段了&#xff0c;先找到包括 (row, col) 的连通分量&#xff0c;然后再去找符合条件的边界&#xff0c;找到以后涂上颜色就行。 c…...

都市信息供求网servlet+jsp新闻广告出售java源代码mysql

本项目为前几天收费帮学妹做的一个项目&#xff0c;Java EE JSP项目&#xff0c;在工作环境中基本使用不到&#xff0c;但是很多学校把这个当作编程入门的项目来做&#xff0c;故分享出本项目供初学者参考。 一、项目描述 都市信息供求网servletjsp 系统1权限&#xff1a;管理…...

kubeadm init:failed to pull image registry.k8s.io/pause:3.6

错误信息&#xff1a; Unfortunately, an error has occurred: timed out waiting for the condition This error is likely caused by: - The kubelet is not running - The kubelet is unhealthy due to a misconfiguration of the node in some way…...

设计模式之简单工厂模式、工厂模式、抽象工厂模式

参考&#xff1a; 设计模式笔记 简单工厂模式 ● 将类的创建过程交给工厂类实现&#xff0c;如果需要一个类对象&#xff0c;则直接通过工厂创建一个类。 ● 简单工厂模式不符合开闭原则 ● 适用场景&#xff1a;工厂类负责创建的对象比较少&#xff1b;客户端只知道传入工厂…...

C# 控制台彩色深度打印 工具类

文章目录 前言Nuget 环境安装代码使用打印结果 总结 前言 有时候我们想要靠打印获得程序信息&#xff0c;因为Dubeg模式需要一点一点断点进入进出&#xff0c;但是我们觉得断点运行实在是太慢了&#xff0c;还是直接打印后找结果会好一点。 Nuget 环境安装 想自己写的话可以看…...

Pytorch Tensor维度变换方法

1.torch.reshape()、torch.view()可以调整Tensor的shape 2.torch.unsqueeze(index)可以为Tensor增加一个维度 3.squeeze()可以删减维度 4.expand&#xff08;&#xff09;扩展维度 5.repeat()维度重复&#xff0c;不常用 6.transpose(dim1, dim2)交换dim1与dim2&#xff0…...

微信小程序之点击文字文字自动转语音进行播放,微信小程序文字识别转语音播放

需求 一堆题目&#xff0c;题干需要在点击的时候进行语音朗读&#xff0c;不做音频上传&#xff0c;不然不便于维护 解决方案 点击查看微信官方文档&#xff1a;微信同声传译 使用流程 后台配置 mp.weixin.qq.com 设置 > 第三方设置 > 插件管理 小程序插件使用流…...

主动学习、半监督学习、它们之间的区别?

1、主动学习&#xff08;Active Learning&#xff09;&#xff1a; 含义&#xff1a; 有的时候&#xff0c;有类标的数据比较稀少而没有类标的数据是相当丰富的&#xff0c;但是对数据进行人工标注又非常昂贵&#xff0c;这时候&#xff0c;学习算法可以主动地提出一些标注请…...

linux快速安装Rabbitmq

linux快速安装Rabbitmq 准备yum仓库 # root执行rpm --import https://github.com/rabbitmq/signing-keys/releases/download/2.0/rabbitmq-release-signing-key.ascrpm --import https://packagecloud.io/rabbitmq/erlang/gpgkeyrpm --import https://packagecloud.io/ra…...

spconv1.2.1库的编译与安装

SpConv是一个稀疏卷积库&#xff0c;在点云相关的深度学习算法中用的比较多。由于目前官方升级到了2.0&#xff0c;然而有些算法&#xff08;比如审稿人要我复现的Cylinder3D&#xff09;仍需要用到1.2.1版本&#xff0c;因此本人花了亿点点时间折腾了一下。。。 本机安装cuda…...

java+springboot+mysql企业邮件管理系统

项目介绍&#xff1a; 使用javaspringbootmysql开发的企业邮件管理系统&#xff0c;系统包含超级管理员、管理员、员工角色&#xff0c;功能如下&#xff1a; 超级管理员&#xff1a;管理员管理&#xff1b;员工管理&#xff1b;反馈管理&#xff1b;系统公告&#xff1b;个人…...

[CKA]考试之一个 Pod 封装多个容器

由于最新的CKA考试改版&#xff0c;不允许存储书签&#xff0c;本博客致力怎么一步步从官网把答案找到&#xff0c;如何修改把题做对&#xff0c;下面开始我们的 CKA之旅 题目为&#xff1a; Task 创建一个Pod&#xff0c;名字为kucc1&#xff0c;这个Pod包含4容器&#xff…...

iphone备份用什么软件?好用的苹果数据备份工具推荐!

众所周知&#xff0c;如果要将iPhone的数据跟电脑进行传输备份的话&#xff0c;我们需要用到iTunes这个pc工具。但是对于iTunes&#xff0c;不少人都反映这个软件比较难用&#xff0c;用不习惯。于是&#xff0c;顺应时代命运的iPhone备份同步工具就出现了。那iphone备份用什么…...

一语道破 python 迭代器和生成器

简而言之&#xff1a;迭代器是一个抽象化的概念&#xff0c;在python中表示访问数据集合中元素的一种方式&#xff1b;生成器也是一个抽象化的概念&#xff0c;在python 中&#xff0c;边循环边生成所需数据&#xff0c;是一种时间换空间的方法。从访问数据方式上来看&#xff…...

有哪些开源和非开源的项目管理工具?

开源和非开源项目管理工具各有其特点和优势。下面是一些常见的开源和非开源项目管理工具以及它们的简要介绍。 开源项目管理工具&#xff1a; OpenProject&#xff1a;OpenProject 是一个功能强大、易于使用的开源项目管理工具。它提供了项目计划、任务管理、团队协作、文档管…...

实战 01|「编写互动式界面」

前言 实践是最好的学习方式&#xff0c;技术也如此。 文章目录 前言一、功能需求&#xff08;一&#xff09;1、功能需求描述2、知识点3、布局与程序设计 二、功能需求&#xff08;二&#xff09;1、功能需求描述2、知识点1&#xff09;LinearLayout2&#xff09;RelativeLayou…...

开源社区寻找八月创作之星!你准备好了吗~

活动页面&#xff1a;https://openlab.cosmoplat.com/createStarCampaign-202308​​​​​​卡奥斯开源社区定位打造工业互联网行业顶级开源社区生态平台&#xff0c;为开发者、企业等用户提供代码托管、技术交流/共享、硬件认证/接入、培训认证、大赛活动等服务&#xff0c;目…...

appuploader不是开发者账号

Appuploader是一款可以帮助开发者上传iOS应用到Apple App Store的工具。很多开发者都知道&#xff0c;在上传应用到App Store之前&#xff0c;需要创建开发者账号并获得苹果官方的认证才能进行上传。但是&#xff0c;有些开发者可能并不想去注册开发者账号&#xff0c;或者遇到…...

ROFL播放器:英雄联盟回放文件的终极管理工具

ROFL播放器&#xff1a;英雄联盟回放文件的终极管理工具 【免费下载链接】ROFL-Player (No longer supported) One stop shop utility for viewing League of Legends replays! 项目地址: https://gitcode.com/gh_mirrors/ro/ROFL-Player 还在为英雄联盟回放文件无法播放…...

2026-04-11:有效子序列的数量。用go语言,给定一个整数数组 nums,定义“强度”为数组中所有元素做按位或运算(OR)的结果。你可以从原数组中删去一些元素但保持剩余元素的相对顺序,得到一个非

2026-04-11&#xff1a;有效子序列的数量。用go语言&#xff0c;给定一个整数数组 nums&#xff0c;定义“强度”为数组中所有元素做按位或运算&#xff08;OR&#xff09;的结果。你可以从原数组中删去一些元素但保持剩余元素的相对顺序&#xff0c;得到一个非空子序列。若删除…...

你的Windows 11真的需要“减肥“吗?Win11Debloat一键解放30%系统资源

你的Windows 11真的需要"减肥"吗&#xff1f;Win11Debloat一键解放30%系统资源 【免费下载链接】Win11Debloat A simple, lightweight PowerShell script that allows you to remove pre-installed apps, disable telemetry, as well as perform various other chang…...

bitcoin-arbitrage自动化交易实战:TraderBot和TraderBotSim详解

bitcoin-arbitrage自动化交易实战&#xff1a;TraderBot和TraderBotSim详解 【免费下载链接】bitcoin-arbitrage Bitcoin arbitrage - opportunity detector 项目地址: https://gitcode.com/gh_mirrors/bi/bitcoin-arbitrage 在加密货币交易领域&#xff0c;利用不同交易…...

如何在Windows 11上运行Android应用:Windows Subsystem for Android完整指南

如何在Windows 11上运行Android应用&#xff1a;Windows Subsystem for Android完整指南 【免费下载链接】WSA Developer-related issues and feature requests for Windows Subsystem for Android 项目地址: https://gitcode.com/gh_mirrors/ws/WSA Windows Subsystem …...

第十六届 蓝桥杯嵌入式设计与开发 省赛 客观题

不定项选择&#xff0c;共10题 01.关于STM32时钟源的说法&#xff0c;错误的是() A.HSI精度高于HSE B.LSE常用于RTC模块 C.PLL可将外部或内部时钟倍频 D.切换系统时钟源或修改主频时&#xff0c;必须先进入停机模式 答案&#xff1a;AD A:HSI&#xff08;内部高速时钟&#xff…...

快速搭建个人医疗助手:MedGemma 1.5从零到一,支持症状分析和建议

快速搭建个人医疗助手&#xff1a;MedGemma 1.5从零到一&#xff0c;支持症状分析和建议 1. 项目背景与价值 在医疗信息咨询需求日益增长的今天&#xff0c;一个能够提供专业、可靠且保护隐私的医疗问答系统显得尤为重要。MedGemma 1.5正是为解决这一需求而设计的本地化医疗A…...

Ollama部署granite-4.0-h-350m:轻量模型本地运行完整教程

Ollama部署granite-4.0-h-350m&#xff1a;轻量模型本地运行完整教程 1. 为什么选择granite-4.0-h-350m 1.1 轻量级模型的优势 granite-4.0-h-350m是一个仅有350M参数的轻量级指令模型&#xff0c;专为本地部署和资源受限环境设计。相比动辄数十GB的大型模型&#xff0c;它具…...

Surge实战:构建一个实时音频处理应用

Surge实战&#xff1a;构建一个实时音频处理应用 想要开发高性能的实时音频处理应用&#xff1f;Surge 是你的最佳选择&#xff01;这款强大的Swift库利用Accelerate框架&#xff0c;为矩阵运算、数字信号处理和图像操作提供高性能函数。无论你是音频开发新手还是经验丰富的工程…...

Qwen-Image-Edit-2511-Unblur-Upscale案例分享:修复模糊合影真实体验

Qwen-Image-Edit-2511-Unblur-Upscale案例分享&#xff1a;修复模糊合影真实体验 1. 模糊照片修复的痛点与解决方案 每次翻看老照片时&#xff0c;总会遇到一些珍贵的合影因为年代久远或拍摄条件限制变得模糊不清。传统修复方法要么效果有限&#xff0c;要么需要专业修图师花…...