double是合法标识符吗