Motoko语法错误排查：无法定义Principal到User的映射变量

你代码里的语法错误出在字典类型的声明和初始化上：

• Motoko 不支持 [Principal : Types.User] 这种字典类型写法，这是其他语言的语法，Motoko 里的键值对集合需要用标准库的 HashMap
• [] 是数组的初始化语法，不能用来初始化字典

修复步骤 #

1. 导入 HashMap 模块
2. 正确声明并初始化 HashMap 类型的 users 变量
3. 修改字典赋值的语法（Motoko HashMap 用 put 方法而非下标赋值）

修正后的主模块代码 #

import Types "../types/Types";
import HashMap "mo:base/HashMap";
import Principal "mo:base/Principal";

module {
    // 初始化HashMap，传入Principal的相等判断和哈希函数
    private var users = HashMap<Principal, Types.User>(Principal.equal, Principal.hash);

    public func registerUser(user : Types.User) : async Result<Text, Text> {
        if (users.containsKey(user.id)) {
            return #err("User already exists");
        };
        // 用put方法添加键值对
        users.put(user.id, user);
        return #ok("User registered successfully");
    };

    public func loginUser(principal : Principal) : async Result<Types.User, Text> {
        switch (users.get(principal)) {
            case (?user) { return #ok(user) };
            case null { return #err("User not found") };
        };
    };

    public func getRole(principal : Principal) : async ?Types.Role {
        return switch (users.get(principal)) {
            case (?user) { ?user.role };
            case null { null };
        };
    };
};

Types模块代码（无需修改） #

import Principal "mo:base/Principal";

module {
    public type Role = { #Patient; #Doctor; #Researcher };

    public type User = {
        id : Principal;
        name : Text;
        role : Role;
    };

    public type HealthRecord = {
        patientId : Principal;
        doctorId : Principal;
        record : Text;
        timestamp : Int;
    };
};

补充说明 #

Motoko 中没有内置的字典字面量语法，必须通过 HashMap（或 AssocList，适合小数据集）来实现键值对存储。HashMap 需要两个参数：

• 键类型的相等性判断函数（Principal.equal）
• 键类型的哈希函数（Principal.hash）

对于自定义类型作为键的情况，你需要自己实现这两个函数，但 Principal 类型已经在标准库中提供了现成的实现，可以直接使用。

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