思考题：语言是工具？重要是思想？那如何表达思想？（修改版）

OwnWaterloo

回复 77# starwing83

coroutine与 cpp2lua/lua2cpp 有神马关系……
你说的那个只是分析 c/c++ 的 struct 定义吧？ 能分析c/c++语意么？
而且……  我也不想在 c或者c++ 上面添东西了……  c不适合， 而c++已经很乱了……

幻の上帝

回复 70# starwing83

突然发现我朝人占便宜了……
“函数”和“功能”用英文表达试试。

幻の上帝

现在是在讲C/C++的局限么。
我再歪下楼，举个比函数还要普遍的例子好了。
比如说，显式指定表达式A和B之间没有求值顺序依赖。
也就是说，一段代码，既可以表示A, B;，又可以表示B, A;的语义，unspecified。
看起来似乎是可以的，不过我整不出来……

1. 
   
2.         template<typename... _type>
   
3.         constexpr int
   
4.         _unsequenced(_type&&...) nothrow
   
5.         {
   
6.                 return 0;
   
7.         }
   
8.         #define unsequenced _unsequenced
   

复制代码

拿void没办法了……

三月廿七

回复  三月廿七

>> C++ 一心想摈弃指针，只不过Java 做的更彻底一点， 这么个壮举竟然还被人经常视为软 ...
OwnWaterloo 发表于 2011-10-26 12:21

c++ 不是添加了"引用"的句法吗？ 然后我就据此自由发挥了

幻の上帝

回复 84# 三月廿七

哎，又想到变量与变量名的故事了。
名字一样的东西显然不见得就是同一样东西。
C++和Java的引用有多大可比性呢。

三月廿七

回复  三月廿七

哎，又想到变量与变量名的故事了。
名字一样的东西显然不见得就是同一样东西。
C++和 ...
幻の上帝 发表于 2011-10-26 20:43

Java 的对象变量语法上类似于引用， 本质上是一个指针，
相当于c++的对象指针， c++的引用本质上不是一个指针吗？？

OwnWaterloo

回复 82# 幻の上帝

这吐槽

确实…… 若用sw若想用英文描述就麻烦了……
改用subroutine？

OwnWaterloo

回复 84# 三月廿七

C++增加引用绝对不是为了摒弃指针……  不要被那些"C++里使用引用比指针更好"的言论蒙蔽了……
记得（好像出自设计与演化那书）是为了让用户定义类型能更像内建类型。

比如，实现一个任意精度整数类： integer 。
integer a, b;

有引用的情况下， 两数相加可以 a+b 。
无引用的情况下， 就只能 &a + &b ……

如此一来……  似乎 c = a+b 要写成  c = &(&a+&b) 才可以……

OwnWaterloo

Java 的对象变量语法上类似于引用， 本质上是一个指针，
相当于c++的对象指针， c++的引用本质上不是一个指针吗？？
三月廿七 发表于 2011-10-26 20:51

说c++的引用本质上是个（C的）指针，在很多情况下还算说得通……

但java的引用肯定不是裸（C的）指针，要比指针复杂得多。

记得java的gc会发生这样的情况：
1. heap: [object1)[object2)[object3)
2. 假设 object2 被回收
3. 记得是有可能发生 [object1)[object3) ， 也就是移动 object 3 的位置

那么，所有指向object3的引用都需要修改。 这种引用可不是一个（C的）指针就可以简单实现的……

幻の上帝

回复 86# 三月廿七

C++的引用类型可以看成操作受限的指针。但据我所知，它的作用并非是完全取代指针的功能。
又怎么得到“C++一心想摈弃指针”的结论呢？