how c++20 change the way wcode

水木社区手机版

主题:how c++20 change the way wcode
10楼|likely|2021-01-08 13:37:59|只看此ID
既然做成带类型的Python了，容器模板就不一定是必需的了。可以用类型作为构造参数而不是模板参数：
list(int) ints = [0, 1, 2];
ints.push_back(3);
编译器直接检查类型，因为编译器知道list(int)的意思。
写程序时，list的方法参数都用接口指定类型，例如copy_construtible。原先模板参数实际上没有协议约束，但实际上容器内部可能是有潜规则的，不满足潜规则就可能出错。用接口指定类型后既满足了强类型的要求，又把规则都明示了。
现在C++就是扭扭捏捏一步步学Python的features，要是它真能变成一个编译型的Python就好了，强强联手，都能发展得更好。

【在 hgoldfish 的大作中提到: 】
: 我正在思考这个方向，但没那么简单啊。
: Python 通过反射和 metaclass 这些技巧，让编程变得简单。
: 而 C++，不管你用什么语法，为了运行效率考虑，都需要类似于宏或者模板。不然搞定不了 list<int> 这种数据类型。
: ...................
--
FROM 123.114.39.*
11楼|here080|2021-01-08 13:41:32|只看此ID
你能解释一个你这个“构造参数”跟“模板参数”有什么不一样的？
【在 likely (thinker) 的大作中提到: 】
: 标题: Re: how c++20 change the way wcode
: 发信站: 水木社区 (Fri Jan 8 13:37:59 2021), 站内
:
: 既然做成带类型的Python了，容器模板就不一定是必需的了。可以用类型作为构造参数而不是模板参数：
: list(int) ints = [0, 1, 2];
: ints.push_back(3);
: 编译器直接检查类型，因为编译器知道list(int)的意思。
: 写程序时，list的方法参数都用接口指定类型，例如copy_construtible。原先模板参数实际上没有协议约束，但实际上容器内部可能是有潜规则的，不满足潜规则就可能出错。用接口指定类型后既满足了强类型的要求，又把规则都明示了。
: 现在C++就是扭扭捏捏一步步学Python的features，要是它真能变成一个编译型的Python就好了，强强联手，都能发展得更好。
:
: 【在 hgoldfish 的大作中提到: 】
: : 我正在思考这个方向，但没那么简单啊。
: : Python 通过反射和 metaclass 这些技巧，让编程变得简单。
: : 而 C++，不管你用什么语法，为了运行效率考虑，都需要类似于宏或者模板。不然搞定不了 list<int> 这种数据类型。
: : ...................
:
: --
:
: ※ 来源:·水木社区 http://www.newsmth.net·[FROM: 123.114.39.*]
--
FROM 76.126.252.*
12楼|ilovecpp|2021-01-08 13:45:11|只看此ID
“带类型的Python”还跟Python一样简单，这是幻想。
类型系统的表达能力，复杂度，soundness，三者不能兼顾。
你搞出来的“带类型的Python”，要么和Java一样弱，要么和Haskell一样复杂，要么是个optional type checking。

【在 likely 的大作中提到: 】
: 既然做成带类型的Python了，容器模板就不一定是必需的了。可以用类型作为构造参数而不是模板参数：
: list(int) ints = [0, 1, 2];
: ints.push_back(3);
: ...................
--
FROM 58.37.61.*
13楼|here080|2021-01-08 13:44:54|只看此ID
你知道java有个范型吗？
因为历史原因template有它的问题，但是偏偏目前没有它不行。没有一种语言的哪个feature能有template这么强大。
【在 hgoldfish (老鱼) 的大作中提到: 】
: 标题: Re: how c++20 change the way wcode
: 发信站: 水木社区 (Thu Jan 7 13:19:14 2021), 站内
:
: 我觉得 c++ template 太丑是因为它是生造出来的另外一门语言，寄生于原始类 c 的 c++ 语法里面。它的作用很单一，只为了在编译期生成另外一门语言的代码。
:
: 把 c++ template 看成独立的函数式编程语言来分析的话，会发现它的制作水平比 javascript 还差。现在 traits 这类东东，相当于其它语言的 interface，很快这门语言还会补上更多其它面向对象和函数式语言必备的东东，早晚有一天，还会加上函数式编程语言必备的宏。
:
: 【在 allegro (静水流深) 的大作中提到: 】
: : C++现在的复杂度不能忍了.正确的抽象会让语言规则变得简单.
: : 现在的SFINAE啊type_traits啊真的是正确的抽象吗?
: : C++要么新出来个大佬简化挽救这一切.
: : ...................
:
: --
: 灭绝人性啊
:
:
: ※ 来源:·水木社区 newsmth.net·[FROM: 112.47.122.*]
--
FROM 76.126.252.*
14楼|likely|2021-01-08 15:29:46|只看此ID
我没说过要和“无类型的”Python一样简单，用过强类型语言的都不会这么想。
事实上如今的Python也已经很复杂了，加上强类型当然会更复杂。
【在 ilovecpp 的大作中提到: 】
: “带类型的Python”还跟Python一样简单，这是幻想。
: 类型系统的表达能力，复杂度，soundness，三者不能兼顾。
: 你搞出来的“带类型的Python”，要么和Java一样弱，要么和Haskell一样复杂，要么是个optional type checking。
--
FROM 123.114.39.*
15楼|lambdai|2021-01-08 16:15:31|只看此ID
我觉得sfinae解决了很多问题。就是语法规则太不友好了。对language server也是很大的考验
【在 ilovecpp 的大作中提到: 】
: SFINAE倒是很自然
:
: int f(int);
: ....................

- 来自「最水木 for iPhone12,8」
※ 修改:·lambdai 于 Jan 8 16:15:46 2021 修改本文·[FROM: 75.31.75.*]
※ 来源:·最水木客户端·[FROM: 75.31.75.*]

修改:lambdai FROM 75.31.75.*
FROM 75.31.75.*