关于C++菱形运算符深度解析.docxVIP

第

关于C++菱形运算符深度解析

目录什么是菱形运算符c++没有菱形运算符在c++里的作用c++14中究竟添加了什么总结最近在翻《c++函数式编程》的时候看到有一小节在说c++14新增了菱形运算符。我寻思c++里好像没什么运算符叫这名字啊，而且c++14新增的功能很少，我也不记得有添加这种语法特性。一瞬间我有些怀疑我的记忆了，所以为了查漏补缺，我写了这篇文章。

什么是菱形运算符

这个概念在Java里比较多见：

ListStringmyList=newArrayList();

这东西在Java里的学名是diamondoperator，表示使用泛型类并且类型参数在左侧的表达式已给出因此在右侧可以省略。

简单的说就是让你少写几次重复的类型参数。因为看起来像个菱形所以得名菱形运算符。

然后我们偶尔会在c++里看到形状上很相似的东西：

std::sort(vec.begin(),vec.end(),std::greater());

出现在模板的特化中是我们所熟悉的，但这个std::greater()是什么呢？

c++没有菱形运算符

先说结论，从语言标准来说，c++里没有什么菱形运算符。

c++20里虽然新增了一个运算符operator=，但这个和所谓的菱形运算符没有任何关系。

那问题来了，std::greater()是什么以及为什么书里说是c++14新增的特性呢？难道书里瞎说的吗？但事实是这样的示例代码在c++14以及之后的标准下可以正常编译运行，而且这本书的质量尚可，虽然会在措辞上犯些小错（比如c++没有菱形运算符）但不至于花大篇幅去胡说八道。

当然，要想回答这个问题我们得先复习点基础知识。

在c++里的作用

先说结论，在c++里看到，绝大多数都是在为模板提供类型参数，当然这种东西我们不讨论：(a1,2b)，这里和是在两个不同的表达式里。

那既然用来提供类型参数，那为什么可以啥都不提供呢？答案是有两类情况确实可以。

第一类是在函数模板上，类型参数可以自动推导时：

templatetypenameT

voidf(constT)

std::coutfT

template

voidf(constint)

std::coutfint

voidf(constint)

std::coutf\n;

intmain()

f(1);//f

f(1);//fint

f(1.2);//fT

}

非模板函数在重载决议中的优先级总是高于模板的，因此f(1)这样的表达式总是会用到最下面定义的那个非模板函数f。这时候我们可以用fint(1)来直接调用函数模板f，而函数模板的类型参数如果能从参数推导出来的话，可以不明确给出（也就是后面的f(1.2)那样的），而在我们现在这句表达式里，我们既要明确使用函数模板，又想让类型参数被自动推导，就得使用f(1)。

另一种情况不分类模板还是函数模板，当模板的类型参数有默认值时，可以靠来使用这些默认值：

templatetypenameT=void

structWrapper

usingwrappered=T;

//Wrapper等于Wrappervoid

static_assert(std::is_same_vWrapper::wrappered,Wrappervoid::wrappered

在第二种情况下，因为没显示给出类型参数，且这里没法使用类型推导，因此编译器使用了类型参数的默认值，这里是void。

观察比较仔细的话其实会发现上面两种情况其实是一件事，相当于没有显示给出任何类型参数，于是对这些没有显示指定的类型参数，编译器会先尝试类型推导，如果没法推导则会检查这些类型参数是否有默认值，有就利用默认值。如果上面这两步都没法得到能正常使用的类型参数，模板会被SFINAE淘汰或者报出编译错误。

这并不是什么新语法，是从有模板开始就一直存在的规则。

现在我们可以看看std::greater()是什么了，首先std::greater是个类模板，然后它接受一个类型参数，这个参数在c++14之后有了默认值void，因此std::greater()是std::greatervoid()。

c++14中究竟添加了什么

既然c++14并没有添加菱形运算符，那究竟新增了什么呢？

在已经知道了std::greater()的真身后，找起来