不懂就问， go 不是没有运算符重载吗，为什么 map 可以通过下标访问，数组比较可以用==

[jackiejkl]

m:=make(map[int]int)
m[0]=0 //map 可以通过下标访问元素

a:=[]int{1,2,3}
b:=[]int{1,2,3}
fmt.Print(a==b) //true

[luguhu]

不懂就问，运算符重载和这两个有什么关系？为什么不可以这样用？

[SuperMild]

invalid operation: a == b (slice can only be compared to nil)

数组可以 ==，slice 不行。

[jackiejkl]

@SuperMild 谢谢大佬 学到了 但是还是不明白数组可以==，按我的理解是两个不同数组的头指针在对比

[jackiejkl]

@luguhu 因为按我的理解下标访问是数组才可以 数组==比较是两个不同数组的头指针在对比

[Buges]

“运算符重载”是很糟糕的命名，“重载”什么了？
正确的叫法应该是不允许为自定义类型定义运算符操作。
显然内置类型不属于自定义类型。

[luguhu]

@jackiejkl go 的数组在做比较的时候对比的不是指针而是值吧. 可以尝试用 unsafe.Pointer 获取地址再对比, 获取到的两个地址应该是不一样的

[jackiejkl]

@luguhu 明白 感谢！

[neoblackcap]

运算符重载的例子你都举得不对，map 等内置数据结构当然可以用下标比较。因为这是语言规定的一部分。要举例子啊，你应该举 make ，毕竟它可以接受数量不一样的参数。你试试看能不能模仿

[jackiejkl]

@neoblackcap 不明白这和 make 有什么关系 另外是因为我觉得除了 int 这种基本类型 map 应该是类 应该用 map.getValue(Key)来取得值 （似乎暴露了什么

[yyf1234]

map[key] = value,不明白和下标有什么关系

[lysS]

你这是学叉了吧

map 那个你是访问的 key, 你把 map 的 key 定为 string 看看

[ClarkAbe]

map 你不用这种方式的话你就只有 range 才能获取了........map 没有函数封装也不是 struct,为什么不能这样访问.......建议看完圣经.....

[leoleoasd]

有些语言，支持重载运算符，内置类型的运算自然通过重载运算符实现，比如 Python 和 Rust 。
有些语言不支持重载运算符，内置类型的运算符就只能通过语言规定。

[Cbdy]

大道至简

[qq2562524625]

楼主 Go 语言基础可能需要好好补一下，Go 里的数组类型，不止是与元素的类型有关，还有数据的长度有关，不同长度的数据类型不同，只有相同长度相同类型，才会逐一对比数据内的元素。

[Nasei]

Go 不是 java ，map 和运算符重载没关系，== 比较数组的值相等有问题吗

[iQXQZX]

下标访问是万能的编译器，做的代码转换，这些在编译的时候会换改成对应的函数吧

[noroot]

没有运算符重载的意思是运算符重载不给用户使用而已，没说不给语言发明者使用。（手动狗头

[neoblackcap]

@jackiejkl 我的意思是 map 是内置的，好比你对数组也只能用[index]这样的方法取值，而不能使用.index 这样的方式取值。它本来就是语言的一部分。语言就是这样规定的。
至于为什么提到 make ，因为 make 就是一个看似违反函数调用方式的存在，它一个函数可以有多种函数签名。本质上还是语言作者自己开洞实现或者说这就是语言的一部分，“我用可以，你们使用者用就不行”

[mzmssg]

go 和 c++不一样。c++对 stl 和用户类是一视同仁的，用户自己可以实现出和 stl 相同的东西。但 go 是为内置数据类型开了天窗的，用户没法自己实现内置类型的。

[jackiejkl]

@yyf1234
@lysS
主要是[]这个运算符 似乎我自定义一个 K-V 容器的话用不了[]来取 value ？

[jackiejkl]

@neoblackcap 666 学到了
@mzmssg 明白
@qq2562524625 确实是刚学 领教了

[2i2Re2PLMaDnghL]

@Buges 这个名字来源于数学、错误迁用和错误翻译。
数学：overload 原本是指同一个符号（数学上的符号，包括 d/dx 或者 A B C 这种）用于多个不同的含义。因为会产生混淆，数学上认为这是一种糟糕的实践。
错误迁用： 工程上其实是用这样一个词来表述『相似的符号通过不同的实现来获得相似的含义』，它产生了表面的一致性（ Matrix+Matrix 或者 int+int 当然都应该是 + ）。但同样地发生了上述 overload 的问题，用以表示不同的含义（比如 str+str 其实不应该是 str ，更恰当的比如 ++）。
错误翻译：这个词构词有「载」，但「重」到底是 chóng 还是 zhòng 是个问题。看 overload 一词构词上来说，应该是 zhòng ，但这个读音下这个词还是多义。另一方面，根据「重复的名称」似乎又应该是 chóng 。而且这个词在电学上也有「过载」一译法。

[whyso]

”为什么 map 可以通过下标访问“
先问是不是，再问为什么

[Buges]

@2i2Re2PLMaDnghL 我觉得这个应该是从无泛型的语言沿用下来的，“重载”一般是多个签名不同的函数（类型、数量不一致）共用同一个名字，而运算符则更接近定义于对应 interface/type class 的泛型函数（或 OO 里所谓的多态），任何类型只要实现了对应的 interface/type class 就能支持相应的操作，不应该再称为“重载”。

[2i2Re2PLMaDnghL]

@Buges OO 的多态有两种，一种是唯名论的 trait ；另一种是唯实论的 interface 。 （以 Ponylang 的术语命名）
（注：Java 的 interface 实际上是 trait ）
（ Python 原本是唯实论的，后来搞出唯名论，现在又做了点唯实论的东西，属实是墙头草）
重载只是单纯的「同形不同义」之表述，并不实质上区分函数名、关键词、操作符，甚至发源在 OO 之前。这都属于文法范畴，语义层面上考虑时不建议深究它们的区别，毕竟 Lisp 早已经大一统了， `+` `-` 都是函数名。

[Buges]

@2i2Re2PLMaDnghL duck typing 和显式声明的区别并不重要。我不是指区分 operator 和 function ，而是说通过所谓多态、泛型，用户并没有为自己的类型实现`+`，而是实现其所定义的 interface 需要的方法。使用时还是调用的原本的`+`，没有复用已有的名字，所以不该称为重载。