编写一个函数实现从源字符串中查找目标字符串，并进行替换。如输入源字符串“We love math! ”, 查找目标字符串“math”，并将其替换为字符串“C Program”，在主函数中输出替换后的字符串“We love C Program！”

好的，以下是一个 Python 代码示例：

def replace_str(source_str, target_str, replace_str):
    """
    从源字符串中查找目标字符串，并进行替换
    :param source_str: 源字符串
    :param target_str: 目标字符串
    :param replace_str: 替换字符串
    :return: 替换后的字符串
    """
    if target_str not in source_str:
        return source_str
    else:
        return source_str.replace(target_str, replace_str)

if __name__ == '__main__':
    source_str = "We love math! "
    target_str = "math"
    replace_str = "C Program"
    result = replace_str(source_str, target_str, replace_str)
    print(result)

这个函数接受三个参数：源字符串（source_str）、目标字符串（target_str）和替换字符串（replace_str）。该函数首先检查目标字符串是否存在于源字符串中，如果不存在，则返回源字符串。如果存在，则使用 Python 的字符串替换方法 replace() 进行替换，并返回替换后的字符串。

在主函数中，我们定义了源字符串、目标字符串和替换字符串。然后，我们调用 replace_str() 函数来进行替换，并将结果存储在变量 result 中。最后，我们输出替换后的字符串。

例如，在本例中，源字符串为 "We love math! "，目标字符串为 "math"，替换字符串为 "C Program"。调用 replace_str() 函数后，输出结果为：

We love C Program!

希望这个示例对你有所帮助！