Що таке time_t, в кінцевому рахунку, typedef?

Я шукав вікно Linux і побачив цей typedef:

typedef __time_t time_t;

Але я не зміг знайти __time_t визначення.

Time_t Стаття у Вікіпедії стаття проливає певне світло на це. Суть полягає в тому, що тип time_tне гарантується в специфікації C.

Тип time_tданих - це тип даних у бібліотеці ISO C, визначений для зберігання системних значень часу. Такі значення повертаються зі стандартної time() функції бібліотеки. Цей тип є typedef, визначеним у стандартному заголовку. ISO C визначає time_t як арифметичний тип, але не визначає конкретного типу , діапазону, роздільної здатності чи кодування для нього. Не визначені також значення арифметичних операцій, застосованих до часових значень.

Системи, сумісні з Unix та POSIX, реалізують time_tтип у вигляді signed integer(як правило, 32 або 64 біт шириною), що представляє кількість секунд з моменту початку епохи Unix : опівночі UTC 1 січня 1970 року (не рахуючи високосних секунд). Деякі системи правильно обробляють негативні значення часу, а інші - ні. Системи, що використовують 32-розрядний time_tтип, сприйнятливі до проблеми 2038 року .

[root]# cat time.c

#include <time.h>

int main(int argc, char** argv)
{
        time_t test;
        return 0;
}

[root]# gcc -E time.c | grep __time_t

typedef long int __time_t;

Це визначено $INCDIR/bits/types.hчерез:

# 131 "/usr/include/bits/types.h" 3 4
# 1 "/usr/include/bits/typesizes.h" 1 3 4
# 132 "/usr/include/bits/types.h" 2 3 4

Стандарти

Вільям Брендль цитував Вікіпедію, але я віддаю перевагу це з вуст коня.

Стандартний проект C99 N1256 7.23.1 / 3 "Компоненти часу" говорить:

Заявлені типи є size_t (описано в 7.17) clock_t та time_t, які є арифметичними типами, здатними представляти час

та 6.2.5 / 18 "Типи" говорить:

Цілі та плаваючі типи спільно називають арифметичними типами.

POSIX 7 sys_types.h говорить:

[CX] time_t повинен бути цілим числом.

де [CX]буде визначено як :

[CX] Розширення до стандарту ISO C.

Це розширення, тому що дає більш гарантію: плаваючі точки виходять.

gcc однолінійний

Не потрібно створювати файл, як згадував Quassnoi :

echo | gcc -E -xc -include 'time.h' - | grep time_t

У Ubuntu 15.10 GCC 5.2 два перших рядки:

typedef long int __time_t;
typedef __time_t time_t;

Розбивка команди з цитатами з man gcc:

• -E: "Зупиніться після етапу попередньої обробки; не запускайте компілятор належним чином."
• -xc: Вкажіть мову C, оскільки вхід походить від stdin, який не має розширення файлу.
• -include file: "Обробити файл так, ніби" #include "файл" "з'явився як перший рядок файлу первинного джерела."
• -: вхід від stdin

Відповідь, безумовно, залежить від впровадження. Щоб остаточно дізнатися для своєї платформи / компілятора, просто додайте цей вихід десь у свій код:

printf ("sizeof time_t is: %d\n", sizeof(time_t));

Якщо відповідь - 4 (32 біта), а ваші дані мають намір перевищити 2038 рік , вам потрібно 25 років перенести свій код.

Ваші дані будуть прекрасними, якщо ви зберігаєте свої дані як рядок, навіть якщо це щось просте, наприклад:

FILE *stream = [stream file pointer that you've opened correctly];
fprintf (stream, "%d\n", (int)time_t);

Тоді просто прочитайте його назад таким же чином (fread, fscanf тощо) в int), і у вас є час компенсації епохи. Аналогічне рішення існує в .Net. Я без проблем передаю 64-розрядні епохи між системами Win та Linux (по каналу зв'язку). Це викликає проблеми впорядкування байтів, але це інша тема.

Щоб відповісти на запит paxdiablo, я б сказав, що він надрукував "19100", тому що програма була написана таким чином (і я визнаю, що це робив сам у 80-х):

time_t now;
struct tm local_date_time;
now = time(NULL);
// convert, then copy internal object to our object
memcpy (&local_date_time, localtime(&now), sizeof(local_date_time));
printf ("Year is: 19%02d\n", local_date_time.tm_year);

printfОператор друкує фіксовану рядок «Рік є: 19» , за яким слід нулями рядок з «років починаючи з 1900 року » (визначення tm->tm_year). У 2000 році, очевидно, це значення 100. "%02d"колодки з двома нулями, але не врізається, якщо довше двох цифр.

Правильний спосіб (змінити лише останній рядок):

printf ("Year is: %d\n", local_date_time.tm_year + 1900);

Нове запитання: що обґрунтовує це мислення?

У візуальній студії 2008 вона встановлюється за замовчуванням, __int64якщо ви не визначите _USE_32BIT_TIME_T. Вам краще просто зробити вигляд, що ви не знаєте, як це визначено, оскільки він може (і буде) змінюватися від платформи до платформи.

time_tмає тип long intна 64-бітних машинах, ще є long long int.

Ви можете перевірити це в цих файлах заголовка:

time.h: /usr/include
types.hі typesizes.h:/usr/include/x86_64-linux-gnu/bits

(Викладені нижче твердження не є одна за одною. Їх можна знайти у відповідному файлі заголовка за допомогою Ctrl + f search.)

1) В time.h

typedef __time_t time_t;

2) В types.h

# define __STD_TYPE     typedef  
__STD_TYPE __TIME_T_TYPE __time_t;  

3) В typesizes.h

#define __TIME_T_TYPE       __SYSCALL_SLONG_TYPE  
#if defined __x86_64__ && defined __ILP32__  
# define __SYSCALL_SLONG_TYPE   __SQUAD_TYPE  
#else
# define __SYSCALL_SLONG_TYPE   __SLONGWORD_TYPE
#endif  

4) Знову в types.h

#define __SLONGWORD_TYPE    long int
#if __WORDSIZE == 32
# define __SQUAD_TYPE       __quad_t
#elif __WORDSIZE == 64
# define __SQUAD_TYPE       long int  

#if __WORDSIZE == 64
typedef long int __quad_t;  
#else
__extension__ typedef long long int __quad_t;

Це 32-бітний цілочисельний підписаний тип на більшості застарілих платформ. Однак це призводить до того, що ваш код страждає від 2038 року помилки . Тож сучасні бібліотеки С повинні визначати, що це замість цього 64-бітний підписаний int, що є безпечним протягом декількох мільярдів років.

Як правило, ви знайдете ці основні типи для реалізації, що стосуються gcc, у каталозі bitsабо asmзаголовку. Для мене це /usr/include/x86_64-linux-gnu/bits/types.h.

Ви можете просто зіткнути або використати виклик препроцесора, як запропоновано Quassnoi щоб побачити, який конкретний заголовок.

Що в кінцевому підсумку є type_t typedef?

Надійний код не байдуже, що це за тип.

Вид C , time_tщоб бути реальним типом , якdouble, long long, int64_t, int і т.д.

Це навіть може бути, unsignedоскільки значення повернення з багатьох функцій часу, що вказує на помилку, не є -1, але(time_t)(-1) - Цей вибір реалізації є рідкісним.

Справа в тому, що тип "потрібно знати" рідко. Код повинен бути написаний, щоб уникнути необхідності.

І все ж загальна «потреба знати» виникає, коли код хоче надрукувати вихідний time_t. Передача на найширший цілочисельний тип вмістить більшість сучасних випадків.

time_t now = 0;
time(&now);
printf("%jd", (intmax_t) now);
// or 
printf("%lld", (long long) now);

Кастинг до doubleабо long doubleбуде працювати теж, але може дати точний десятковий вихід

printf("%.16e", (double) now);

time_t- це лише typedef8 байт ( long long/__int64), які розуміють усі компілятори та ОС. Ще в ті часи це було лише для long int(4 байти), але не зараз. Якщо ви подивитесь на time_tв, crtdefs.hви знайдете обидві реалізації, але ОС використовуватиме long long.