虚虚实实,亦假亦真的 ValueTuple,绝对能眩晕你

一:背景

1. 讲故事

前几天在写一个api接口,需要对衣物表进行分页查询,查询的output需要返回两个信息,一个是 totalCount,一个是 clothesList,在以前我可能需要封装一个 PagedClothes 类,如下代码:

public class PagedClothes{public int TotalCount { get; set; }public List<Clothes> ClothesList { get; set; }}static PagedClothes GetPageList(){return new PagedClothes(){TotalCount = 100,ClothesList = new List<Clothes>() { }};}

在 C# 7.0 之后如果觉得封装一个类太麻烦或者没这个必要,可以用快餐写法,如下代码:

static (int, List<Clothes>) GetPageList(){return (10, new List<Clothes>() { });}

这里的 (int, List<Clothes>)  是什么意思呢?懂的朋友看到 (x,y) 马上就会想到它是 .NET 引入的一个新类:ValueTuple,接下来的问题就是真的是ValueTuple吗?用ILSpy 看看 IL 代码:

.method private hidebysig static valuetype [System.Runtime]System.ValueTuple`2<int32, class [System.Collections]System.Collections.Generic.List`1<class ConsoleApp2.Clothes>> GetPageList () cil managed {IL_0000: nopIL_0001: ldc.i4.s 10IL_0003: newobj instance void class [System.Collections]System.Collections.Generic.List`1<class ConsoleApp2.Clothes>::.ctor()IL_0008: newobj instance void valuetype [System.Runtime]System.ValueTuple`2<int32, class [System.Collections]System.Collections.Generic.List`1<class ConsoleApp2.Clothes>>::.ctor(!0, !1)IL_000d: stloc.0IL_000e: br.s IL_0010IL_0010: ldloc.0IL_0011: ret} // end of method Program::GetPageList

GetPageList 方法的 IL 代码可以很容易的看出方法返回值和return处都有 System.ValueTuple 标记,从此以后你可能就会以为 (x,y) 就是 ValueTuple 的化身 ,是吧,问题就出现在这里,这个经验靠谱吗?

二:(x,y) 真的是 ValueTuple 的化身吗

为了去验证这个经验是否靠谱,我需要举几个例子:

1. (x,y) 接收方法返回值时是 ValueTuple 吗

为了更加清楚的表述,先上代码:

        (int totalCount, List<Clothes> orders) = GetPageList();static (int, List<Clothes>) GetPageList(){return (10, new List<Clothes>() { });}

现在已经知道当 (x,y) 作为方法返回值的时候在IL层面会被化作 ValueTuple,那 (x,y) 作为接受返回值的时候又是什么意思呢?还会和 ValueTuple 有关系吗?为了去验证,可以用反编译能力弱点的 dnspy 去看看反编译后的代码:

从图中可以看出,当用 (x,y) 模式接收的时候,貌似就是实现映射赋值 或者 叫做拆解赋值,是不是有一点模糊,这个 (x,y) 貌似和 ValueTuple 有关系,又貌似和 ValueTuple 没关系,不过没关系,继续看下一个例子。

2. (x,y) 在 foreach 迭代中是 ValueTuple 吗

(x,y) 也可以出现在 foreach 中,相信第一次看到这么玩还是有一点吃惊的,如下代码:

var dict = new Dictionary<int, string>();foreach ((int k, string v) in dict){}

接下来继续用 dnspy 反编译一下:

我去,这回就清晰了,从图中可以看出,我写的 (x,y) 压根就没有 ValueTuple 的影子,说明在这个场景下两者并没有任何关系,也就是说同样是 (x,y) ,放在不同位置具有不同的表现形式,这就很让人琢磨不透了, 可能有些朋友不死心,想看一下 Deconstruct 到底干了什么,知道的朋友应该明白这个新玩法叫做解构方法,继续看代码:

public readonly struct KeyValuePair<TKey, TValue>{private readonly TKey key;private readonly TValue value;public void Deconstruct(out TKey key, out TValue value){key = Key;value = Value;}}

有些抬杠的朋友会发现一个规律,貌似 (x,y) 放在赋值语句的左边都和 ValueTuple 没有任何关系,放在右边可能会有奇迹发生,那到底是不是这样呢?继续硬着头皮举例子呗。

3. (x,y) 放在赋值语句的右边是 ValueTuple 吗

public class Point{public int X { get; set; }public int Y { get; set; }public Point(int x, int y){(X, Y) = (x, y);}}

嘿嘿,看这句: (X, Y) = (x, y) 里的 (x,y) 是 ValueTuple 的化身吗?我猜你肯定是懵逼状态,是吧,亦真亦假,虚虚实实,证据还是继续反编译看呗。

我去,又是和 ValueTuple 一点关系都没有,啥玩意嘛,乱七八糟的,莫名其妙。

三:总结

说 (x,y) 是元组吧,放在 return 中就变成了 ValueTuple ,说 (x,y) 不是元组吧,放在其他处还真就不是的,是不是很疑惑,为了更加形象,在 Point 中再增加一个 Test 方法,对照一下源码和反编译的代码:

//原始的:public class Point{public int X { get; set; }public int Y { get; set; }                public Point(int x, int y){(X, Y) = (x, y);}public (int x, int y) Test(){return (X, Y);}}//反编译的:public class Point{public int X { get; set; }public int Y { get; set; }public Point(int x, int y){this.X = x;this.Y = y;}[return: TupleElementNames(new string[]{"x","y"})]public ValueTuple<int, int> Test(){return new ValueTuple<int, int>(this.X, this.Y);}}

反正我已经恼火了,就这样吧,少用经验推理,多用工具挖一挖,这样才靠谱!

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

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

相关文章

C++ 学习之旅(4)——调试Debug

调试 Debug 程序&#xff0c;首先应该确保处于 Debug 模式而不是 Release 模式下&#xff0c;因为后者会优化你的程序&#xff0c;也就是对你的程序作出了改变&#xff0c;这样你很难找出问题所在。记得在 Debug 之前确保优化是已禁用的&#xff1a; 我们有以下的文件&#xff…

关于脑机接口该如何实现的考虑

脑机接口&#xff0c;已经是最近最热门的科技热点了&#xff0c;因为埃隆马斯克的炒作和推动&#xff08;炒作说的是他本人并不懂技术&#xff0c;宣传中有了很多夸大和不实之词&#xff0c;推动说的是因为他的炒作和带动&#xff0c;有了更多的资金进入了这个领域&#xff0c;…

C++ 学习之旅(5)——设置Setup文件目录

使用过Visual Studio的朋友都应该知道&#xff0c;VS对于编译后的obj文件以及链接生成的exe文件的存放方式是非常反人类的&#xff0c;所以我们有必要对这个设置进行更改。 首先要分清Filter和Folder的概念&#xff0c;在默认的文件目录中&#xff0c;我们看到的实际上是Filte…

JVM笔记详解之垃圾回收器

一&#xff1a;什么是垃圾回收机制&#xff08;GC&#xff09; 在C/C程序中&#xff0c;程序员在内存中主动开辟一段相应的空间来存值。由于内存是有限的&#xff0c;所以当程序不再需要使用该内存空间时&#xff0c;就需要销毁对象并释放其所占用的内存资源&#xff0c;好重新…

跟我一起学.NetCore之配置初体验

前言配置对于程序来说&#xff0c;绝对是必不可少&#xff0c;毕竟配置是应用或组件动态适应各种环境的最优方案&#xff0c;没有之一(我还年轻&#xff0c;我是这么认为的)&#xff1b;之前可能用的最多的配置源是命令行、文件(XML、Json、INI)&#xff0c;Web中对于Asp.Net程…

JVM笔记(JVM内存+垃圾回收器)详解

一:java代码的执行流程(引出JVM) 首先由程序员编写成.java文件然后由javac(java编辑器)将.java文件编译成.class文件.class文件可以在不同平台/操作系统上的JVM上执行再由JVM编译成可供不同操作系统识别的机器码&#xff08;0,1二进制&#xff09; 二:JVM来源 我们在下载JD…

跟我一起学.NetCore之Asp.NetCore中集成Autofac扩展

前言前两节针对.NetCore自带的依赖注入进行简要概述&#xff0c;对于日常开发的需求应该是能满足了&#xff0c;那为什么还需要引入第三方依赖注入组件呢&#xff0c;这里就从自带的依赖注入来分析&#xff0c;有什么样的需求满足不了&#xff1f;主要归纳为以下几点&#xff1…

C++ 学习之旅(7)——指针pointer

开门见山&#xff0c;如果把计算机的内存空间比作是一排房子&#xff0c;那指针就是房门号。指针实际上就是一个用来存储内存地址的整数&#xff0c;与类型没有关系&#xff0c;我可以定义一个void类型的指针&#xff1a; #include <iostream>int main() {int var 8;v…

leetcode509. 斐波那契数

一:论语 我现在应该还没到壮年 还在年少 应该。。。。。。。。。。。。。。。 二:题目 三:上码 class Solution { public:/**思路:动态规划5步曲1.确定dp数组以及下标的含义dp[i] 的定义为:第i个斐波那契数的数值是dp[i]2.确定递推公式状态转移方程 dp[i] dp[i-1] dp[i-2…

C++ 学习之旅(8)——一文搞懂指针、引用、函数参数的传值调用、指针调用和引用调用

废话少说&#xff0c;直接上代码&#xff1a; #include <iostream>int main() {int a 5;int* ptr &a;int& ref a;std::cin.get(); //设置断点 }为了避免混淆&#xff0c;我建议在定义指针时写int* ptr而不是int *ptr&#xff0c;同理&#xff0c;定义引用写…

.NET Core 下使用 Kafka

安装CentOS 安装 kafkaKafka : http://kafka.apache.org/downloadsZooLeeper : https://zookeeper.apache.org/releases.html下载并解压# 下载&#xff0c;并解压 $ wget https://archive.apache.org/dist/kafka/2.1.1/kafka_2.12-2.1.1.tgz $ tar -zxvf kafka_2.12-2.1.1.tgz…

leetcode70. 爬楼梯

一:题目 二:上码 class Solution { public:/**思路&#xff1a;分析题意:爬到第一层楼有一种方法,爬到第二层楼有两种方法那么由第一层到第三层需要跨2步,由第二层到第三层需要跨一步;那么到第三层的方法可以由 到第一层和第二层推导出来(因为只剩下最后一步了)动态规划五步走…

发现一款.NET Core开源爬虫神器:DotnetSpider

没有爬虫就没有互联网&#xff01;爬虫的意义在于采集大批量数据&#xff0c;然后基于此进行加工/分析&#xff0c;做更有意义的事情。谷歌&#xff0c;百度&#xff0c;今日头条&#xff0c;天眼查都离不开爬虫。去开源中国和Github查询C#的爬虫项目&#xff0c;仅有几个非常简…

leetcode746. 使用最小花费爬楼梯

一:题目 二:上码 class Solution { public:/**思路:1.分析题意给出的数组的下标代表楼梯的台阶数2.动态规划五步走1>:确定dp数组以及下标的含义dp[i]:表示到达第i层所需要花费的体力2>:确定dp数组的递推公式那么如何得到dp[i](花费的体力)呢&#xff1f;dp[i]由dp[i-1]或…

SS CMS 全新跨平台 V7.0 版本正式发布

今天&#xff0c;我们很高兴宣布基于.NET CORE平台的全新 SS CMS V7.0正式发布&#xff0c;新版本采用.NET CORE模块化和高性能实现&#xff0c;用于创建在Windows&#xff0c;Linux、Mac以及Docker上运行的Web应用程序和服务。SS CMS 7.0 之旅在此&#xff0c;我们简单回顾一下…

leetcode62. 不同路径

一:题目 二:上码 class Solution { public:/**思路:1.分析题意:2.动态规划五步走:1>:确定dp数组和其下标的含义dp[i][j]为到达二维数组下标为i&#xff0c;j的路径条数,i和j为下标2>:确定dp数组的递推公式那么dp[i][j]是如何求解出来的呢?只能是两个方向左边:dp[i-1][j…

推荐一本基于ASP.NET Core 3.1的实战来了

第一本基于 ASP.NET Core 3.1 的实战书来了我脱产花费了一年时间创作书籍《深入浅出 ASP.NET Core》&#xff0c;终于上架了。目前天猫、京东等主流平台均有销售。这本书是基于.NET Core3.1 平台&#xff0c;从 ASP.NET Core 的基础入门,通过项目实战结合 ASP.NET Core 源代码解…

leetcode63. 不同路径 II

一:题目 二&#xff1a;上码 class Solution { public:/**思路:1.分析题意:这里有障碍物,所以我们的做法会有点变化&#xff0c;如果这个障碍物出现在左侧或则右测的话那么我们确定的是其障碍物包括其后面的下标将均为0,如果障碍物出现在上诉区域外的话&#xff0c;那么就直接…

C#刷剑指Offer | 从上到下打印二叉树

【C#刷题】| 作者 / Edison Zhou这是EdisonTalk的第288篇原创内容我们来用之前学到的数据结构知识来刷《剑指Offer》的一些核心题目&#xff08;精选了其中30道题目&#xff09;&#xff0c;希望对你有帮助&#xff01;本文题目为&#xff1a;从上到下打印二叉树。1题目介绍题目…

跟我一起学.NetCore之自定义配置源-热更新-对象绑定

前言上一篇针对不同的配置源进行举例演示&#xff0c;感受到不同配置源和不同数据格式使用统一操作的便捷(即没有什么加一层解决不了的&#xff0c;这个不是我说的)&#xff0c;这里接着说说自定义配置源、配置热更新、配置绑定对象相关操作&#xff1b;配置源回顾&#xff1a;…