如何消除TASM跨汇编文件调用过程的警告并成功链接？

你遇到的问题本质是TASM对跨模块符号的类型检查比NASM更严格，GLOBAL和EXTRN的类型必须与过程定义的类型完全匹配，同时还要注意过程本身的完整性。下面是具体的解决步骤和修改后的代码：

问题根源拆解 #

• 警告global type doesn't match symbol : PRINT：TASM的GLOBAL指令必须显式指定符号的类型（FAR/NEAR），你之前的global print没有声明类型，而默认过程类型与预期不匹配，导致类型冲突。
• 警告undefined symbol PRINT in module M1.ASM：移除GLOBAL后，m2中的print过程没有被导出为全局符号，m1编译时无法找到该外部符号。
• 移除far关键字无效：因为m2中的过程默认是NEAR（small模型下），但如果没有显式用GLOBAL导出，依然无法被其他模块识别。

修改后的代码 #

m2.asm（导出过程的模块） #

.model small
.stack 100h
.data
; 显式声明print为FAR类型的全局符号，与过程定义匹配
GLOBAL print:FAR
.code
main:
    MOV AX, @data
    MOV DS, AX

; 将过程定义为FAR，与GLOBAL声明的类型一致
print proc FAR
    ; expects information from DX
    MOV AH,9
    INT 21h
    RET ; 必须添加RET指令，否则调用后无法返回调用点！
ENDP

MOV AH, 4ch
INT 21h
END main

m1.asm（调用外部过程的模块） #

.model small
.stack 100h
.data
str1 DB 'hello $'
.code
; 声明外部过程为FAR，与m2中的导出类型完全匹配
EXTRN print:FAR
main:
    MOV AX, @data
    MOV DS, AX
    MOV DX, OFFSET str1
    CALL print
    MOV AH, 4ch
    INT 21h
END main

关键修改说明 #

1. 类型完全匹配：m2中GLOBAL print:FAR和print proc FAR，m1中EXTRN print:FAR，三者类型统一，彻底消除类型不匹配的警告。
2. 补全过程返回：原来的print过程缺少RET指令，调用后程序会失去执行控制，补上RET才能正确返回调用方。
3. 统一内存模型：两个模块都使用.model small，确保内存模型一致，避免因模型差异导致的符号解析问题。

编译与链接步骤 #

使用TASM和TLINK工具执行以下命令：

# 汇编m2.asm生成m2.obj
tasm m2.asm
# 汇编m1.asm生成m1.obj
tasm m1.asm
# 链接两个目标文件生成可执行文件m1.exe
tlink m1 m2

运行生成的m1.exe就能正常输出hello了。

如果想使用更高效的NEAR类型（small模型下代码段共享，NEAR调用更节省资源），只需要将所有FAR替换为NEAR即可：

• m2中：GLOBAL print:NEAR、print proc NEAR
• m1中：EXTRN print:NEAR

这样同样能正常编译链接，且执行效率更高。

内容的提问来源于stack exchange，提问作者barshopen