Algol 和 C 在铸造中的语义差异

Question

假设我们在 Algol 68 和 C 中分别有以下指令： ref int x := 5;和(int*) x = 5;。它们的语义差异是什么？是相同的吗？因为我认为第二个说“x将指向一个常量”（它无法编译），第一个说“x将指向一个内存”指向另一个包含常量 5" 的存储单元的单元。这是正确的吗？如果不正确，你能解释一下并举一些例子来理解这一点吗？

Answer 1

Algol 68 有许多可用的隐式强制转换，具体取决于上下文（强、坚定、温和、弱和软上下文）：参见Wikipedia & Algol68's Coercion Hierarchy。

Algol68 可以隐式处理：

1. 扩大精度和尺寸（强）
2. 联合不同类型（公司）
3. 有针对性的取消引用（Meek 和 Weak）
4. 程序化、反程序化（软）

C 类型转换有更多限制的隐式类型转换：

1. 仅限于隐含的“扩大”精度，并且float仅限int于某些情况。扩展到数组需要指针和使用“&”运算符的手动编码。
2. 必须手动编码/创建联合。
3. 转换期间不会取消引用（C 强制编码器使用“*”运算符显式计算出取消引用指针的次数）。
4. 不带参数的过程必须通过名称显式定义并使用“()”运算符进行调用。

带有输出的示例代码...

文件：deref_and_cast.c

#include <stdio.h>
#include <stdlib.h>

main(){
  auto int*** crrri;
  crrri=(int***)malloc(sizeof(int**));
  *crrri=(int**)malloc(sizeof(int*));
  **crrri=(int*)malloc(sizeof(int));
  ***crrri=255; /* coder to explicitly work out how many times dereference */
  printf("%5.1f\n",(float)***crrri); /* Again deref is muilt-explicit */
}

输出：

255.0

文件：coerce_and_cast.a68

#!/usr/bin/a68g --script #
# -*- coding: utf-8 -*- #

LOC REF REF REF INT crrri;
REF REF REF REF INT(crrri):=HEAP REF REF INT;
REF REF REF INT(crrri):=HEAP REF INT;
REF REF INT(crrri):=HEAP INT;
REF INT(crrri):=255; # targeted dereferencing (3x) depending on contect #
printf(($"example meek coercion:"g(-5,1)l$,REAL(crrri)));

隐式强制转换的层次结构示例

PROC VOID raise exception = end; # Implicitly cast a "GO TO" to a PROC #

# Soft: deprocedure a PROC to a VALUE #
printf(($"Soft:"gl$,random)); # Implicit Coercion #
printf(($"Soft:"gl$,REAL(random))); # Explicitly cast/deprocedure #

# Weak: dereference pointer chain to a "name" (LHS in C lingo) #
COMPL compl:= 0;
re OF compl := crrri; # Implicit Coercion #
REF REAL(re OF compl) := crrri; # Explicitly cast/dereference #
printf(($"Weak:"g(-0,4)g(7,4)"i"l$,compl));

# Meek: dereference to a value #
printf(($"Meek:"gl$,sin(crrri))); # Implicit Coercion #
printf(($"Meek:"gl$,sin(REAL(crrri)))); # Explicitly cast/dereference #

# Firm: unite to a UNION #
MODE IRC=UNION(INT,REAL,COMPL);
OP SIN = (IRC z)IRC: (z|(INT i):sin(i),(REAL r):sin(r),(COMPL z):complex sin(z));
printf(($"Firm:"gl$,SIN 1)); # Implicit Coercion #
printf(($"Firm:"gl$,SIN IRC(1))); # Explicitly cast/unite #

# Strong: widen to higher precision OR to an array #
FLEX [0]BOOL bool array := BIN crrri; # Implicit Coercion #
bool array := []BOOL(BIN crrri); # Explicitly cast/widen #
printf(($"Strong:"$,$g$,bool array,$l$));

end: SKIP

输出：

example meek coercion:255.0
Soft:+2.11679610884246e  -1
Soft:+4.01945464342605e  -1
Weak:255.0000+0.0000i
Meek:-5.06391634924491e  -1
Meek:-5.06391634924491e  -1
Firm:+8.41470984807897e  -1
Firm:+8.41470984807897e  -1
Strong:FFFFFFFFFFFFFFFFFFFFFFFFTTTTTTTT