如何使用SymPy的replace方法与通配符匹配并替换任意函数应用？

我完全懂你的需求——不用挨个指定具体函数（比如sin、exp），也不想提前定义那种抽象的Symbolic Function，就是要直接匹配SymPy里的任意内置函数（像sin、exp、tan、re、conjugate这些），然后把它们的参数替换成新的表达式对吧？

你最开始尝试用Wild符号写F(x)的思路其实没问题，但普通Wild是用来匹配符号的，不能当函数调用，所以才会抛出TypeError。这时候你需要用WildFunction，它就是SymPy专门用来匹配任意函数对象的通配符。

精准实现你需求的写法 #

直接用WildFunction配合replace就能完美达到你想要的效果，而且写法很直观：

from sympy import Symbol, sin, exp, tan, WildFunction

x = Symbol('x')
expr1 = sin(x)
expr2 = exp(x)

# 定义用于匹配任意函数的通配符
F = WildFunction('F')
# 匹配任意以x为参数的函数应用，把参数替换成tan(x)
result1 = expr1.replace(F(x), lambda matched_func: matched_func.func(tan(x)))
result2 = expr2.replace(F(x), lambda matched_func: matched_func.func(tan(x)))

print(result1)  # 输出 sin(tan(x))
print(result2)  # 输出 exp(tan(x))

这个写法完全符合你的预期：不管是sin、exp还是其他任何SymPy内置函数，只要它的参数是x，就会被替换成该函数作用在tan(x)上的结果，完全不用挨个指定函数名。

为什么这个写法能行？ #

• WildFunction('F')专门用来匹配任何SymPy函数实例，不管是像sin、exp这类数学函数，还是re、conjugate这类操作符，都能精准匹配
• F(x)则限定了只匹配“以x为唯一参数的函数应用”，不会误匹配多参数的函数（比如log(x, 2)）
• 替换用的lambda函数里，matched_func.func就是我们匹配到的原函数（比如sin），把它和新参数tan(x)组合起来，就生成了我们想要的新表达式

关于你之前试的另一种写法 #

你之前试过的这段代码：

F = WildFunction('F')
result1 = expr1.replace(F, lambda F: F.func(*F.args))

虽然能拿到原函数，但它是匹配整个函数对象，没有限定参数，要是遇到多参数函数很容易出问题，而且写法确实不够直观，不如上面用F(x)的方式精准好用。

额外小扩展 #

如果之后你的需求升级，想要匹配任意参数的任意函数，然后统一修改参数的话，也可以这么写：

from sympy import Wild
# 匹配任意函数应用，把所有参数都替换成tan(x)
arg_wild = Wild('arg')
result = expr.replace(F(*arg_wild), lambda f, args: f.func(*[tan(x) for arg in args]))

这样不管函数有几个参数，都会把每个参数换成tan(x)，灵活性拉满。

备注：内容来源于stack exchange，提问作者Robert Wegner