Swift：返回运行时随机不透明类型会产生错误

Question

我现在正在学习不透明类型，仍然有点混乱。我尝试了以下方法：

protocol Animal {
    func introduce()
}

struct Dog: Animal {
    func introduce() {
        print("Dog")
    }
}

struct Cat: Animal {
    func introduce() {
        print("Cat")
    }
}

func random() -> some Animal {
    let value = [true, false].randomElement()!
    return value ? Cat() : Dog()
}

在random的返回行中，我得到以下错误

“？：”中的结果值表达式具有不匹配的类型“Cat”和“Dog”

因此，据我所知，就像泛型一样，编译器需要能够在编译时决定函数的具体返回类型。

我说得对吗？如果我是，这条消息是不是让人困惑，因为两个结构都实现了Animal？如果我错了，这个错误消息是什么意思？

谢谢

编辑：我试图理解，而不是让它工作：）

Answer 1

请考虑一下：表达式值的类型是什么？猫：狗它不是动物。对于三元体，你需要一种类型，但你要么有猫，要么有狗。类型推断不会发现您可以将这两种不同的类型擦除回某个公共类型，即使这样做是可能的