if语句的判断表达式只能是算术表达式（if语句中的表达式可以是任意的吗）

不是，可以用任意表达式。

if语句是指编程语言（包括c语言，C#，，java，VB，汇编语言等）中用来判定所给定的条件是否满足，根据判定的结果（真或假）决定执行给出的两种操作之一。if的返回值为真或假，可以用bool型变量进行存储，占用一字节。

C 语言中 if 语句的语法：

if(expression){}

如果表达式为 true，则 if 语句内的代码块将被执行。如果布尔表达式为 false，则 if 语句结束后的第一组代码（闭括号后）将被执行。C 语言把任何非零和非空的值假定为 true，把零或 null 假定为 false。

if后面的表达式，可以是C语言中任意合法的数值类型(包括整型、实型、字符型等），但一般为逻辑表达式或关系表达式。