试图匹配两个公式匹配,如果我们能找到替代变量出现在公式中,使这两个是语法等价的。如果它们匹配,则函数返回一组称为绑定的替换,该替换将变量映射到术语。如果常数相等,则与另一个常量匹配。一个未绑定变量(一个当前没有绑定)匹配任何公式。如果常量与变量绑定的值相等,则绑定变量与常量匹配。爱(x,y)
X= Dog( Fred )和y=Fred都是正确的。
我正在编写一个库,其中我需要使用一些常量整数。我在c函数中声明了常量int作为局部变量,例如const int test = 45325;
现在我想隐藏这个常量变量。这意味着,如果我将这个库作为.so与某人共享,他应该找不到这个常量值?是否可以隐藏库中定义的常量整数?我引用这个常量是为了在同一个函数中进行一些计算。
嗯,在itself.It链接之后出现的muddy.The似乎表明,我们不能使用const限定变量作为真正的常量的原因是,它们的生命时间与程序的寿命不一样,itself.It似乎说,只有局部变量作为全局变量才具有与程序相同的生命周期但是在下面的程序中,由于const限定变量的生存期与程序执行的生存期相同,为什么在case之后在开关-case语句中使用它时仍然会出现错误,其中需要一个常量?它会给出以下错误:
case label不减少为整