甜橘子，专注成都网站制作网站设计与营销型网站建设与优化
QQ :532337155
电话：028-86922220
tips： *号，可以指向指针类型内存地址上的值，号，可以获取值类型的内存地址
站在用户的角度思考问题，与客户深入沟通，找到召陵网站设计与召陵网站推广的解决方案，凭借多年的经验，让设计与互联网技术结合，创造个性化、用户体验好的作品，建站类型包括：网站建设、成都网站设计、企业官网、英文网站、手机端网站、网站推广、空间域名、虚拟空间、企业邮箱。业务覆盖召陵地区。
每一个变量都有内存地址，可以通过变量来操作内存地址中的值，即内存的大小
go语言中获取变量的内存地址方法：通过 符号可以获取变量的地址
定义：普通变量存储的是对应类型的值，这些类型就叫值类型
变量b，在内存中的地址为：0x1040a124，在这个内存地址上悔巧存储的值为：156
定义：指针类型的变量存蠢老储的是⼀个地址，所以⼜叫指针类型或引⽤类型
b 是值类型，它指向的是内存地址上的值
a是指针类型，它指向的是b的内存地址
指针类型定义，语法： var 变量名 *类型
指针类型在定义完成后，默认为空地址，即空指针（nil）
在定义好指针变量后，可以通过***** 符号可碧档键以获取指针变量指向的变量
在这里的 *a 等价于 b，通过修改 *a ，最终修改的是值类型b的值
这里a,d是值类型，b,c是指针类型
d就相当于把a内存地址上值，在内存中从新开辟了一块空间存储，d和a互不影响
b,c相当于指向了a的内存地址，当使用*号引用出内存地址上的变量上，修改值得，a的值也会跟着改变
函数式语言
Elixir
Elixir 比 Erlang 更容易编写，具有 Haskell 等语言的函数式编程概念。Elixir是基于Erlang 虚拟机的，其广为人知的特点是运行低延时、分布式、可容错的系统，并成功用于Web开发与嵌入式软件领域。
Elm
Elm是一种用于构建 Web 应用程序的函数式语言。业内一般认为，它适用于创建高可交互应用，例如复杂的用户界面，开发人员可以通过 Elm 快速编写富有表现力的系统。Elm 也以没有运行时异常而闻名。
PureScript
PureScript是一种可编译为 JavaScript 的纯函数式编程语言。与 Haskell 最相似的是，PureScript 最适合用于开发 Web 应用程序和服务器端应用程序。
PureScript 支持类型推断，与其他语言相比，需要明显类型注释要少得多。
Swift
Swift是一种由苹果公司开发的通用编译编程语言，最早的设想是替代上一代编程语言Objective-C ，过程中结合了Objective-C、Rust、Ruby 和 Python等语言的编程思想。目前Swift用于开发苹果自己的手机、服务器、台式机上的应用软件。
程序语言
Go
Go语言是由谷歌公司创造的类似C风格的语言。Go 比 C++ 或 Java 更简洁，比 Ruby 或 Python 更安全。
一些缺点： 编码要求严格。比如，不能混用符号和无符号整数。还有一个明显的遗漏，Go语言没有泛型和继承。
但Go语言的优势同样明显，简单且易于使用。Go语言擅长于网络和多线程方面的编程。
面向对象语言
DART
Dart同样来自谷歌公司具有C语言风格。Dart可以轻松编写JavaScript、Java for Android、本地机器代码或独立的 Dart 虚拟机。它还可以运行后端代码。
Dart 非常适合使用事件驱动代码构建用户界面。根据Dart 团队成员的说法，Dart的优势：可选的静态类型、最小的编译时错误和强大的内置编辑器。
Pony
Pony是一种基于无数据竞争类型和垃圾收集的语言，并使用 actor 模型以及称为引用功能的东西。
你可以把 Pony 想象成亩余某种“Rust 遇上 Erlang”的复合体，没有锁，高并发是其主要优点。
Pony 的缺点是 API 稳定性低、很少有高质量的第三方库和有限的本地工具。
TypeScript
TypeScript是一个基于 JavaScript 静态类型定义构建，并由微软维护且开源编程语言。Visual Studio Code 或Visual Studio 是推荐的IDE编辑器，微软大厂的用户体验和错误检查也不用怀疑。
复合编程语言
Hack
Hack是一种作为 PHP 方言的 HipHop 虚拟机的编程语言。于 2014 年由Facebook创建，允许程序员同时使用静态和动态类型（也称为渐进类型），这为编码提供了灵活性。
Julia
Julia是一种高级通用编程语言，用于计算科学和数值分析。Julia 以动态类型和可重现的高性能特性而闻名。
Julia 在数据可视化和机器学习等方面都有大量用途。事实上，它被英国保险公司 Aviva 用于风险计算，纽约联邦储备银行用于金融建模，甚至气候建模联盟用于气候变化建模。它拥有Fortran、C++、R、Java、C 、Python等的接口，这使其成为最受追捧的新语言之一。
Kotlin
Kotlin是运行在 Java 虚拟机中的更快、更流畅的 Java 版本。它现在是Android 开发的首选语言。根据 Android 开发者网站显示，程序员正转而采用 Kotlin，因为该语言的样橡耐升板代码更少，空指针异常更少，并且与 Java 有互操作性。梁老
Kotlin 可用于在 iOS 和 Android 上运行的应用程序、不使用额外运行时或虚拟机。
Nim
Nim是一种优先考虑可读性的静态类型语言。通过结合多种语言的特性，Nim 为程序员提供了速度和易用性。
它带有 JavaScript 后端、分散的包管理、自动内存管理、C 和 C++ 库的绑定以及用于调试的回溯。作为一种语言，Nim 是有限的，但它包含一组元编程功能，如泛型、模板和宏，因此开发人员可以在避免冗长代码的同时以不同的风格工作。
OCaml作为此列表中较旧的语言，OCaml是一种多范式语言——既有函数式、命令式和类型安全，也具有面向对象功能。
OCaml 的一些优势：定义数据类型很容易。默认情况下，所有变量都是不可变的。API 稳定，具有良好的库向后兼容性。该语言还为独立应用程序提供自动内存管理和单独编译。
Reason
如果比JavaScript 更快、更简单且类型安全会怎样？
这就是创建Reason的 Facebook 开发者想要回答的问题。不过，他并没有从头开始构建一种新语言，而是采用了 OCaml，并将其调整为类似于 JavaScript。
Reason使用项目 BucketScript编译为 JavaScript，并且可以访问 80% 的 JavaScript 工具和生态系统。它还可以编译为准系统、iOS、Android 和微控制器。
Red
Red是一种最初旨在克服 Rebol 语言限制的编程语言。Red 于 2011 年推出，受 Rebol、Lua 和 Scala 等语言的影响，对高级和低级编程都很有用。
该语言可用于开发从高级 GUI 到低级操作系统的所有方面。Red 拥有人性化的语法、低内存占用和垃圾收集等优点。
Rust
Rust解决了一些与 Go 相同的问题，如系统级别的线程和进程安全，，但Rust 更像 C 风格的语法
但Rust语言的缺点：静态类型和缺乏垃圾收集
Rust可直接访问内存意味着程序员可以编写低级代码，如操作系统内核。Rust 也非常适合嵌入式设备、网络服务和命令行编写。
有没有觉得，发展到现在，软件开发行业是越来越成熟了，无论是过程管理、架构方法、设计方法，还是语言、平台、框架、工具等，都发展到了一个前所未有的高度，相关思想和理念也日臻完善，我们真正进入了一个最好的时代。
单就编程语言来说，近些年包括Scala（2003）、Groovy（2003）、Go（2009）、Kotlin（2011）、Swift（2014）等新兴编程语言如雨后春笋版涌现出来，也给我们带来了很多让人眼前一亮的编程特性，甚至Java这等老牌编程语言也是不断推陈出新，编程再也不像过去那般枯燥。
本篇就带大家一起感受一下现代编程语言那些激动人心的特性。
这个特性其实有点早了，但是也是很早就让人感动的语言特性了，熟悉Javascript的同学庆蔽应该对它很了解。Javascript语言具有动态性，我们可以随时为类的某个实例添加方法，也可以利用动态原型，为类的所有实例添加方法，有没有感觉扩展类的实现变得非常方便了呢？
扩展和原型很像，允许我们在不修改或继承类的情况下，将新的函数方法添加到原类中。这个特性较早见于C#这门语言，目前在Kotlin、Swift中均可以看到。这里顺便说一下C#，当时C#出来的时候，不得不说很多特性是非常棒的，包括扩展方法、泛型、分部类等等，比Java好不要太多。像Kotlin，不仅可以扩展类的方法，还可以扩展类的属性。
前两个都是关于扩展代码的，这里再来一个。我们知道Java 1.8以来，接口interface里的方法可以有自己的默认实现了，大大方便了实现类，减少了重复代码。相对于Java的这个实现是显示的，Go语言的接口实现可以是隐式的，添加隐式实现后，所有继承的结构（Go没有类，都是结构struct）都可以调用这个方法，和前面的两个特性有异曲同工之妙，下面我们对比看一下。
C语言就有宏的概念，通过 #define 定义，然后在代码中进行替换。宏作为Rust语言的高级特性，可以操作语法单元，是一种通过编写代码来生成代码的方式，被称作“元编程”（meta programming）。相对于函数，宏可以接受任意多个参数，可以减少重复代码，定义DSL。宏语法比较复杂，难以编写和调试，以至于在Rust文档中说，宏亩差手将是其最后的特性。
当你回想写代码枯燥的时候，应该会想到为字段编写getter、setter吧？较早的时候，C#就意识到了这个问题，贴心地推出了自动属性这个语法糖。而Java开发者则是通过Eclipse、IDEA这样的开发工具来自动生成getter、setter代码。当然，现在也可以依赖Lombook包，使用lombok的注解@Getter @Setter来编译时生成相关代码。
据说空指针异常是软件业最贵的异常，价值10亿美元。你有没有为处理调用链中的null值而烦恼过？又或者被伤害过？Kotlin会在编译期提示对可能为null变量的不安全使用，也提供了Elvis 操作符 ?: 来方便地处理null值。而有了可选链，就舒服多了。可选链语法应该较早出现在JavaScript语言中，新兴语言Swift也提供了这一省心的特性。Swift英明地决定变量是不允许直接存储NIL值，当然也提供了optionals的装箱功能允许将NIL或其它值包装起来，方便有时使用。
输入乃万恶之源，函数首要的事情就是检查不规范和不安全的输入，这也是卫语句的来历。Swift语言为此提供了专门的卫语句语法，有了它的贴身防护，整个代码都干爽多了，剧烈运动都不怕，不信往下瞧：
如果要评选最酷的语言特性，那么Lambda表达式必须获得提名。Lambda表达式很早就出现在Lisp语言中，python也有，在后来的C#语言大放异彩，又一次狠狠地羞辱了不长进的Java，而Java也终于在1.8版本后加入了这一特性，甚至C++ 11也光荣地上车了。
我们知道编程语言有静态和动态之分，静态语言如Java 、 C# 、 C 和 C++，动态语言如Perl，Python，JavaScript，Ruby 和 PHP等，多数为迅嫌脚本语言。而融合了静态和动态特性的语音，就被称为渐进式语言，如TypeScript、Common LISP、Dylan、Cecil、Visual Basic.NET、Bigloo Scheme、Strongtalk等。静态类型检查可以尽早地发现 BUG，动态类型检查可以方便地处理依赖于运行时信息的值的类型。 渐进式语言允许类型注释来控制程序的一部分使用静态类型检查，而另一部分为动态检查，更具灵活性。 Python从3.5开始引入了对静态类型检查的支持。
在面向对象的编程语言中，状态是计算的基础。由于可变状态的存在，在编写高并发，多线程代码时，无法知道并行进行的诸多状态读写中是否有顺序上的错误，而且这种错误又是难以察觉的，而不变性则规避了这个问题。 不变性是函数式编程的基础，不变性意味着函数没有副作用，无论多少次执行，相同的输入就意味着相同的输出，所有线程都可以无所顾忌的执行同一个函数的代码，代码更像数学函数，更易理解和测试。
String就是构建在Java语言内核中的不可变类的一个典型例子。Java 的 CopyOnWrite系列容器类也是利用了不变性增强了并发安全性。Java可以通过final修饰符实现类和变量的不可变。而Scala、Swift、Groovy等语言也有各自的语法实现不可变的变量和类。
多重分派是一些编程语言的特性，其中的函数或者方法，可以在运行时间（动态的）使用一个或多个实际参数的组合特征，路由动态分派至实现函数或方法。多重分派主要区别于我们常见的重载方法，重载方法是在编译期就绑定了，而多重分派是在运行期分派的。Lisp、Julia、C#、Groovy等语言内建多分派特性，JavaScript、Python和C等语言通过扩展支持多分派。 多重分派可以避免我们写很多分支条件，而是更直观地用对象类型表达，使代码变得可读性更好并且较少发生错误。
前面几个特性是不是略显沉闷，那么来看一下这个激动一下。解构这一语法特性用于从数组索引或对象属性创建变量，简直帅到飞起。
爱写单元测试的同学有福了，这个绝壁是重磅炸弹，在生产代码里夹着测试代码，你有想过这么写测试吗？谁想的？简直脑洞打开啊！该特性在Pyret语言中，Pyret旨在作为编程教育的杰出选择，同时 探索 脚本和函数式编程的融合。
如果内联测试没有让你震惊，D语言内联编译期的这个特性绝对会让你惊掉下巴，基于该特性，开发人员可以直接在D语言中嵌入汇编代码，彻底放飞自我了，俺滴亲娘啊！受不了！受不了！顺便说一下，D语言比较小众，是C++的一个改进型，它包括了按合约设计、垃圾回收、关联数组、数组切片和惰性求值等特性。
好吧，我们看点其它的来压压惊吧。尽管Kotlin语言也说自己实现了模式匹配，但是实际上只是一点点帅，真正帅的是 Elixir语言的模式匹配，Elixir作为一种在Erlang OTP上运行的动态类型语言，将模式匹配提升到了一个全新的水平。
在编程语法上，Python真是个神一样的存在，for循环都能写出花来。
Java 8 中提供了Stream API特性， Stream 使用一种类似用 SQL 语句从数据库查询数据的直观方式，来提供一种对 Java 集合运算和表达的高阶抽象。事实上这个特性C#早就有了（Java又躺枪一次）。不得不说，利用这个特性写出来的代码，看上去还真的是很流利的。