Подтвердить что ты не робот

Почему час добавляется в java.util.Date для дат до 1 ноября 1971 года?

Появится следующий код, демонстрирующий ошибку в java.util.Date, через которую добавляется час, если локальные часы установлены на GMT с настройкой DST, а время до 1 ноября 1971 года. Мое первое предположение всегда Я ошибаюсь. Может ли кто-нибудь увидеть, что неправильно (или это действительно ошибка Java)? Что значимо о 1 ноября 1971 года?

import java.text.SimpleDateFormat;
import java.util.Locale;
import java.util.TimeZone;

class JavaUtilDateBug
{
    private static void demo() throws Exception
    {
        // UK developers usually have the clock on their development machines set
        // to "Europe/London" (i.e. GMT with daylight saving). Set it explicitly 
        // here so readers in other countries can see the problem too.
        TimeZone.setDefault(TimeZone.getTimeZone("Europe/London"));
        Locale.setDefault(Locale.ENGLISH);

        SimpleDateFormat dateFormat = new SimpleDateFormat("EEE MMM dd HH:mm:ss z yyyy");
        String strJan1st1970Expected = "Thu Jan 01 00:00:00 GMT 1970";
        String strJan1st1970Actual = dateFormat.parse(strJan1st1970Expected).toString();
        System.out.println("strJan1st1970Actual: " + strJan1st1970Actual); // -> "Thu Jan 01 01:00:00 GMT 1970"
        boolean jvmHasDateBug = !strJan1st1970Expected.equals(strJan1st1970Actual);
        System.out.println("jvmHasDateBug: " + jvmHasDateBug); // -> true

        // The anomaly only seems to affect times before 1 Nov 1971.
        final String strNov1st1971 = "Mon Nov 01 00:00:00 GMT 1971";
        assert strNov1st1971.equals(dateFormat.parse(strNov1st1971).toString());
    }

    public static void main(String[] args)
    {
        try
        {
            demo();
        }
        catch (Exception e)
        {
            e.printStackTrace();
        }
    }
}

Моя среда Java:

  java version "1.6.0_13"
  Java(TM) SE Runtime Environment (build 1.6.0_13-b03)
  Java HotSpot(TM) Client VM (build 11.3-b02, mixed mode, sharing)
4b9b3361

Ответ 1

Я обнаружил соответствующую ошибку в базе данных Sun. Кажется, что они считают это "исторической ошибкой" (форматирование, по-видимому, должно производить "BST" в качестве часового пояса, а не GMT ​​- час будет тогда правильным) и не будет исправлять его, потому что в глубине, реализация TimeZone не может обрабатывать места переключение имени своего часового пояса.

В качестве обходного пути вы можете явно настроить часовой пояс на GMT, а не на "Европа/Лондон". Затем проблема исчезает.

Ответ 2

Существовал суд над британским стандартным временем между 27 октября 1968 года и 31 октября 1971 года, который, как я подозреваю, вызывает эту проблему.

Здесь есть некоторые подробности судебного разбирательства:

http://en.wikipedia.org/wiki/British_Summer_Time#Single.2FDouble_Summer_Time

Часовой пояс для Европы/Лондона в 1 января 1970 года был британским стандартным временем (GMT + 1), поэтому, когда вы используете java.text.SimpleDateFormat для анализа 01 января 00:00:00 по Гринвичу 1970 года, он генерирует правильное значение эпохи, равное янву 01 01:00:00 1970 в BST.

Затем, из-за crappiness java.util.Date, когда вы вызываете java.util.Date.toString(), он использует часовой пояс по умолчанию для текущего локального на данный момент, который изменился на GMT и вы получаете 01 января 01:00:00 GMT 1970.

Ответ 3

Это локаль. Из http://en.wikipedia.org/wiki/British_Summer_Time

Британская стандартная схема времени была опробована между 27 октября 1968 года и 31 октября 1971 года, когда Британия оставалась на GMT + 1 в течение всего года.

Ответ 4

Это не ошибка.

Вы установили часовой пояс по умолчанию на BST, который является (GMT + 1), GMT date Jan 1 1970 00:00:00, когда вы анализируете эту дату с помощью BST часового пояса в качестве вашего значения по умолчанию, оно всегда отображает время, основанное на вашем текущий часовой пояс (автоматически применяется смещение от GMT).

В этом случае это было GMT + 1, поэтому ваш результат был на час.