在使用类型提示时，如何向函数添加默认参数？

在使用类型提示时，可以通过在函数定义中为参数添加默认值来向函数添加默认参数。默认参数是在函数定义中为参数提供的初始值，当函数被调用时，如果没有为该参数提供值，则会使用默认值。

下面是向函数添加默认参数的示例代码：

def greet(name: str = "World") -> str:
    return f"Hello, {name}!"

print(greet())  # Output: Hello, World!
print(greet("Alice"))  # Output: Hello, Alice!

在上述示例中，函数greet有一个参数name，它的类型提示为str，并且设置了默认值为"World"。当函数被调用时，如果没有提供name的值，则会使用默认值"World"。

在这个例子中，greet()的输出为Hello, World!，因为没有为name提供值，所以使用了默认值。而greet("Alice")的输出为Hello, Alice!，因为提供了name的值，所以使用了提供的值。

需要注意的是，默认参数应该在函数定义中的最后，这样可以避免在调用函数时出现歧义。例如，下面的示例代码是错误的：

def greet(name: str = "World", age: int) -> str:
    return f"Hello, {name}! You are {age} years old."

print(greet(25))  # Error: Missing argument for parameter 'age'

在上述示例中，greet函数的定义中，name是默认参数，而age是必需参数。当调用greet(25)时，由于没有提供age的值，会导致错误。

总结起来，向函数添加默认参数可以通过在函数定义中为参数提供初始值来实现。这样，在函数被调用时，如果没有为该参数提供值，则会使用默认值。