给定两个字符串，编写Python代码来检查它们是否是同构的。如果是，返回True，否则返回False。在同构字符串中，一个字符串中的每个字符都可以被替换为另一个非空字符，以便形成另一个字符串。


示例数据：egg, add
可以使用字典来实现字符的一一映射，检查两个字符串中的字符是否可以相互映射。如果有一个字符不满足，则说明它们不是同构字符串，返回False。如果所有字符都满足，则说明它们是同构字符串，返回True。

以下是Python代码实现：

```python
def is_isomorphic(s: str, t: str) -> bool:
    if len(s) != len(t):
        return False
    s_dict, t_dict = {}, {}
    for i in range(len(s)):
        s_char, t_char = s[i], t[i]
        if s_char in s_dict and s_dict[s_char] != t_char:
            return False
        if t_char in t_dict and t_dict[t_char] != s_char:
            return False
        s_dict[s_char] = t_char
        t_dict[t_char] = s_char
    return True
```

例如，对于示例字符串 "egg" 和 "add"，调用 `is_isomorphic("egg", "add")` 将返回True，因为 "e" 可以映射到 "a"，"g" 可以映射到 "d"。