test: 新增 SuperTest 专项测试 + 删除 TpvIsinstanceTest
- Test/SuperTest：super() 语义 9 断言（构造链/静态绑定/三层继承/MRO） - TpvIsinstanceTest 移除（isinstance 回归统一用 IsinstanceTest）
This commit is contained in:
TermiNexus committed
1 parent
2120a0a4ab
commit
a941179826
3 files changed
+122
-127
No files matched your search
@@ -0,0 +1,120 @@
|
||||
from stdint import *
|
||||
import t, c
|
||||
from t import CPtr, CInt, CExport
|
||||
import testcheck
|
||||
|
||||
|
||||
# ============================================================
|
||||
# super() 语义专项测试（由 TransPyV.exe 编译）
|
||||
#
|
||||
# 覆盖场景：
|
||||
# 1. super().__init__(args) — 子类构造调父类构造（字段由父类设置）
|
||||
# 2. super().method() 静态绑定父类实现（不触发子类 override / 虚分派）
|
||||
# 3. super() 调未覆盖的父类方法（父类字段区前缀对齐，this 无需调整）
|
||||
# 4. 三层继承链 super().__init__（Leaf → Mid → Grand 逐层传递，
|
||||
# 每个中间类的 super() 沿各自 CurClassName 的 MRO 跳自身找父类）
|
||||
# 5. super().method 沿 MRO 找实际定义类（Mid 未定义 Base → 找到 Grand.Base）
|
||||
# ============================================================
|
||||
|
||||
|
||||
# ========== 单继承：super().__init__ + super().method ==========
|
||||
|
||||
@t.CVTable
|
||||
class Animal:
|
||||
Tag: CInt
|
||||
|
||||
def __init__(self, tag: CInt):
|
||||
self.Tag = tag
|
||||
|
||||
def Speak(self) -> CInt:
|
||||
return 0
|
||||
|
||||
def Greet(self) -> CInt:
|
||||
return self.Tag + 1000
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class Dog(Animal):
|
||||
Breed: CInt
|
||||
|
||||
def __init__(self, tag: CInt, breed: CInt):
|
||||
super().__init__(tag) # 调 Animal.__init__ 设置 Tag
|
||||
self.Breed = breed
|
||||
|
||||
def Speak(self) -> CInt:
|
||||
return 1
|
||||
|
||||
def ParentSpeak(self) -> CInt:
|
||||
return super().Speak() # 静态绑定 Animal.Speak → 0（不走虚分派）
|
||||
|
||||
def FullGreet(self) -> CInt:
|
||||
# super() 调父类 Greet（Dog 未覆盖），再加自身字段
|
||||
return super().Greet() + self.Breed
|
||||
|
||||
|
||||
# ========== 三层继承链：Grand → Mid → Leaf ==========
|
||||
|
||||
@t.CVTable
|
||||
class Grand:
|
||||
G: CInt
|
||||
|
||||
def __init__(self, v: CInt):
|
||||
self.G = v
|
||||
|
||||
def Base(self) -> CInt:
|
||||
return self.G
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class Mid(Grand):
|
||||
M: CInt
|
||||
|
||||
def __init__(self, v: CInt):
|
||||
super().__init__(v + 1) # 调 Grand.__init__
|
||||
self.M = v
|
||||
|
||||
def MidOnly(self) -> CInt:
|
||||
return self.M
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class Leaf(Mid):
|
||||
def __init__(self, v: CInt):
|
||||
super().__init__(v + 2) # 调 Mid.__init__（Mid 内部再 super 到 Grand）
|
||||
|
||||
def GetBase(self) -> CInt:
|
||||
return super().Base() # Mid 未定义 Base → 沿 MRO 找 Grand.Base
|
||||
|
||||
def CallMidOnly(self) -> CInt:
|
||||
return super().MidOnly() # 调 Mid.MidOnly
|
||||
|
||||
|
||||
def main() -> CInt | CExport:
|
||||
testcheck.begin("SuperTest: super() 语义测试")
|
||||
|
||||
# --- 1. super().__init__ 设置父类字段 ---
|
||||
d: Dog | CPtr = Dog(42, 7)
|
||||
testcheck.check(d.Tag == 42, "super().__init__ 设置父类字段 OK",
|
||||
"super().__init__ FAILED")
|
||||
testcheck.check(d.Breed == 7, "子类字段 OK", "子类字段 FAILED")
|
||||
|
||||
# --- 2. super().method 静态绑定（不虚分派到子类 override） ---
|
||||
testcheck.check(d.ParentSpeak() == 0, "super().Speak() 静态绑定父类 OK",
|
||||
"super().Speak() FAILED")
|
||||
testcheck.check(d.Speak() == 1, "子类 Speak() override OK", "Speak() FAILED")
|
||||
|
||||
# --- 3. super() 调未覆盖的父类方法（42+1000+7 = 1049） ---
|
||||
testcheck.check(d.FullGreet() == 1049, "super() 调未覆盖父类方法 OK",
|
||||
"FullGreet() FAILED")
|
||||
|
||||
# --- 4. 三层继承链 super().__init__（Leaf(10) → Mid(12) → Grand(13)） ---
|
||||
lf: Leaf | CPtr = Leaf(10)
|
||||
testcheck.check(lf.G == 13, "三层 super().__init__ 链 G OK", "三层 G FAILED")
|
||||
testcheck.check(lf.M == 12, "中间类 M OK", "中间类 M FAILED")
|
||||
|
||||
# --- 5. super().method 沿 MRO 找实际定义类 ---
|
||||
testcheck.check(lf.GetBase() == 13, "super().Base() 沿 MRO OK", "GetBase() FAILED")
|
||||
testcheck.check(lf.CallMidOnly() == 12, "super().MidOnly() OK", "CallMidOnly() FAILED")
|
||||
|
||||
testcheck.ok("super() 全部测试完成")
|
||||
return testcheck.end()
|
||||
@@ -1,6 +1,6 @@
|
||||
{
|
||||
"$schema": "https://raw.githubusercontent.com/TermiNexus/TransPyC/main/schemas/project-schema.json",
|
||||
"name": "TpvIsinstanceTest",
|
||||
"name": "SuperTest",
|
||||
"version": "1.0.0",
|
||||
"source_dir": "./App",
|
||||
"build_dir": "./.tpv_build",
|
||||
@@ -11,7 +11,7 @@
|
||||
"linker": {
|
||||
"cmd": "clang++",
|
||||
"flags": ["-Wl,--allow-multiple-definition", "-Wl,--unresolved-symbols=ignore-in-object-files", "-lmsvcrt", "-lucrt", "-lpthread", "-lmingwex", "-lkernel32", "-luser32", "-latomic"],
|
||||
"output": "TpvIsinstanceTest.exe"
|
||||
"output": "SuperTest.exe"
|
||||
},
|
||||
"includes": [
|
||||
"../../includes"
|
||||
@@ -1,125 +0,0 @@
|
||||
from stdint import *
|
||||
import t, c
|
||||
from t import CPtr, CInt, CExport
|
||||
import testcheck
|
||||
|
||||
|
||||
# ============================================================
|
||||
# TPV 侧 isinstance 内建函数测试（由 TransPyV.exe 编译）
|
||||
#
|
||||
# 验证 TPV 编译器生成的 isinstance IR：
|
||||
# 1. CVTable 自身 / 子类→基类
|
||||
# 2. 运行时多态（基类指针指向子类对象）
|
||||
# 3. 元组 (A, B)
|
||||
# 4. 多继承
|
||||
# 5. NoVTable 编译时静态判断
|
||||
# ============================================================
|
||||
|
||||
|
||||
# ========== CVTable 继承 ==========
|
||||
|
||||
@t.CVTable
|
||||
class Animal:
|
||||
Name: str
|
||||
|
||||
def __init__(self, name: str):
|
||||
self.Name = name
|
||||
|
||||
def speak(self) -> str:
|
||||
return "..."
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class Dog(Animal):
|
||||
def speak(self) -> str:
|
||||
return "Woof"
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class Cat(Animal):
|
||||
def speak(self) -> str:
|
||||
return "Meow"
|
||||
|
||||
|
||||
# ========== 多继承 ==========
|
||||
|
||||
@t.CVTable
|
||||
class A:
|
||||
a: CInt
|
||||
|
||||
def get_a(self) -> CInt:
|
||||
return self.a
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class B:
|
||||
b: CInt
|
||||
|
||||
def get_b(self) -> CInt:
|
||||
return self.b
|
||||
|
||||
|
||||
@t.CVTable
|
||||
class AB(A, B):
|
||||
def __init__(self, a: CInt, b: CInt):
|
||||
self.a = a
|
||||
self.b = b
|
||||
|
||||
|
||||
# ========== NoVTable（编译时静态判断） ==========
|
||||
|
||||
@t.NoVTable
|
||||
class Plain:
|
||||
v: CInt
|
||||
|
||||
|
||||
def main() -> CInt | CExport:
|
||||
testcheck.begin("TpvIsinstanceTest: TPV 侧 isinstance 测试")
|
||||
|
||||
# --- 1. 自身类型 + 子类→基类 ---
|
||||
d: Dog | CPtr = Dog("dog")
|
||||
testcheck.check(isinstance(d, Dog) == 1, "isinstance(d, Dog) 自身 OK",
|
||||
"isinstance(d, Dog) FAILED")
|
||||
testcheck.check(isinstance(d, Animal) == 1, "isinstance(d, Animal) 子类→基类 OK",
|
||||
"isinstance(d, Animal) FAILED")
|
||||
testcheck.check(isinstance(d, Cat) == 0, "isinstance(d, Cat) 不匹配 OK",
|
||||
"isinstance(d, Cat) FAILED")
|
||||
|
||||
# --- 2. 运行时多态：基类指针指向子类对象 ---
|
||||
a: Animal | CPtr = (Animal | CPtr)(d)
|
||||
testcheck.check(isinstance(a, Dog) == 1,
|
||||
"isinstance(Animal*, Dog 对象) 运行时多态 OK",
|
||||
"isinstance(Animal*, Dog) FAILED")
|
||||
testcheck.check(isinstance(a, Animal) == 1,
|
||||
"isinstance(Animal*, Animal) 基类自身 OK",
|
||||
"isinstance(Animal*, Animal) FAILED")
|
||||
testcheck.check(isinstance(a, Cat) == 0,
|
||||
"isinstance(Animal*, Cat) 运行时 False OK",
|
||||
"isinstance(Animal*, Cat) FAILED")
|
||||
|
||||
# --- 3. 元组 ---
|
||||
testcheck.check(isinstance(d, (Cat, Dog)) == 1, "isinstance 元组命中 OK",
|
||||
"isinstance 元组 FAILED")
|
||||
testcheck.check(isinstance(d, (Cat, A)) == 0, "isinstance 元组未命中 OK",
|
||||
"isinstance 元组未命中 FAILED")
|
||||
|
||||
# --- 4. 多继承 ---
|
||||
ab: AB | CPtr = AB(1, 2)
|
||||
testcheck.check(isinstance(ab, A) == 1, "isinstance(AB, A) 多继承 OK",
|
||||
"isinstance(AB, A) FAILED")
|
||||
testcheck.check(isinstance(ab, B) == 1, "isinstance(AB, B) 多继承 OK",
|
||||
"isinstance(AB, B) FAILED")
|
||||
testcheck.check(isinstance(ab, Animal) == 0, "isinstance(AB, Animal) False OK",
|
||||
"isinstance(AB, Animal) FAILED")
|
||||
testcheck.check(ab.get_a() == 1 and ab.get_b() == 2, "AB 字段/方法正常 OK",
|
||||
"AB 字段/方法 FAILED")
|
||||
|
||||
# --- 5. NoVTable（编译时静态判断） ---
|
||||
p: Plain | CPtr = Plain()
|
||||
p.v = 42
|
||||
testcheck.check(isinstance(p, Plain) == 1, "isinstance NoVTable 编译时 OK",
|
||||
"isinstance NoVTable FAILED")
|
||||
testcheck.check(p.v == 42, "NoVTable 字段正常 OK", "NoVTable 字段 FAILED")
|
||||
|
||||
testcheck.ok("TPV 侧 isinstance 全部测试完成")
|
||||
return testcheck.end()
|
||||
Reference in new issue
Block a user