В принципе, можно указать явно - думаю, результат будет тот же. не надо ничего никогда указывать явно - оптимизатор всегда умнее, потому что у него информации о текущем состоянии больше.