解析：本题考查表达式含义。首先，题目条件是a和b都是整型变量，这一点很重要。其次要弄懂“\”运算符和“Mod”运算符的含义:“\”运算符表示整数除法，即运算结果为整数，小数位无条件去除；“Mod”运算符表示取余运算，即运算结果为除法得出的余数。选项A错误，将表达式写成a*b/(a*b)=1，表达式恒成立。选项B和D错误，可以这样来验证：假设a=15,b=4，则表达式“a\b*b\a”变为“15\4x4\15”，即“3x4\15”不等于;表达式“a\b*b\a，变为"15\4x4=15”，即“3x4=15”，这样也不成立。选项C正确，表达式"a\b*b+aMod b=a”变为“15\4x4+15 Mod 4=15”即“3x4+3=15”，表达式成立。答案为C。