Time_t cuối cùng là một typedef là gì?

Tôi đã tìm kiếm hộp Linux của mình và thấy typedef này:

typedef __time_t time_t;

Nhưng tôi không thể tìm thấy __time_t định nghĩa.

Các time_t Wikipedia bài viết bài viết làm sáng tỏ về vấn đề này. Điểm mấu chốt là loại time_tkhông được đảm bảo trong đặc tả C.

Kiểu time_tdữ liệu là kiểu dữ liệu trong thư viện ISO C được xác định để lưu trữ giá trị thời gian của hệ thống. Các giá trị này được trả về từ time() hàm thư viện chuẩn . Loại này là một typedef được xác định trong tiêu đề tiêu chuẩn. ISO C định nghĩa time_t là một loại số học, nhưng không chỉ định bất kỳ loại , phạm vi, độ phân giải hoặc mã hóa cụ thể nào cho nó. Cũng không xác định là ý nghĩa của các phép toán số học được áp dụng cho các giá trị thời gian.

Các hệ thống tuân thủ Unix và POSIX triển khai time_tloại dưới dạng signed integer(thường rộng 32 hoặc 64 bit) đại diện cho số giây kể từ khi bắt đầu thời kỳ Unix : nửa đêm UTC ngày 1 tháng 1 năm 1970 (không tính giây nhuận). Một số hệ thống xử lý chính xác các giá trị thời gian âm, trong khi các hệ thống khác thì không. Các hệ thống sử dụng loại 32 bit time_tdễ bị ảnh hưởng bởi sự cố Năm 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;

Nó được định nghĩa $INCDIR/bits/types.hthông qua:

# 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

Tiêu chuẩn

William Brendel trích dẫn Wikipedia, nhưng tôi thích nó từ miệng ngựa.

Dự thảo tiêu chuẩn C99 N1256 7.23.1 / 3 "Thành phần thời gian" cho biết:

Các loại được khai báo là size_t (được mô tả trong 7.17) clock_t và time_t là các loại số học có khả năng biểu diễn thời gian

và 6.2.5 / 18 "Loại" cho biết:

Số nguyên và kiểu nổi được gọi chung là kiểu số học.

POSIX 7 sys_types.h nói:

[CX] time_t sẽ là một kiểu số nguyên.

nơi [CX]được định nghĩa là :

[CX] Mở rộng theo tiêu chuẩn ISO C.

Nó là một phần mở rộng vì nó làm cho một sự đảm bảo mạnh mẽ hơn: các điểm nổi bị loại bỏ.

gcc một lớp lót

Không cần tạo tệp như Quassnoi đã đề cập :

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

Trên Ubuntu 15.10 GCC 5.2, hai dòng trên cùng là:

typedef long int __time_t;
typedef __time_t time_t;

Phân tích lệnh với một số trích dẫn từ man gcc:

• -E: "Dừng sau giai đoạn tiền xử lý; không chạy trình biên dịch thích hợp."
• -xc: Chỉ định ngôn ngữ C, vì đầu vào đến từ stdin không có phần mở rộng tệp.
• -include file: "Tệp xử lý như thể" #include "tệp" "xuất hiện dưới dạng dòng đầu tiên của tệp nguồn chính."
• -: đầu vào từ stdin

Câu trả lời chắc chắn là cụ thể thực hiện. Để tìm hiểu dứt khoát cho nền tảng / trình biên dịch của bạn, chỉ cần thêm đầu ra này vào đâu đó trong mã của bạn:

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

Nếu câu trả lời là 4 (32 bit) và dữ liệu của bạn có nghĩa là vượt quá 2038 , thì bạn có 25 năm để di chuyển mã của mình.

Dữ liệu của bạn sẽ ổn nếu bạn lưu trữ dữ liệu của mình dưới dạng chuỗi, ngay cả khi đó là một thứ đơn giản như:

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

Sau đó, chỉ cần đọc lại theo cùng một cách (fread, fscanf, v.v. vào một int), và bạn có thời gian bù epoch của bạn. Một cách giải quyết tương tự tồn tại trong .Net. Tôi vượt qua các số kỷ nguyên 64 bit giữa các hệ thống Win và Linux mà không gặp vấn đề gì (qua kênh truyền thông). Điều đó mang đến các vấn đề đặt hàng byte, nhưng đó là một chủ đề khác.

Để trả lời truy vấn của paxdiablo, tôi đã nói rằng nó đã in "19100" vì chương trình được viết theo cách này (và tôi thừa nhận tôi đã tự làm điều này trong thập niên 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);

Câu printflệnh in chuỗi cố định "Năm là: 19", theo sau là chuỗi không đệm với "năm kể từ năm 1900" (định nghĩa tm->tm_year). Năm 2000, giá trị đó là 100, rõ ràng. "%02d"miếng đệm có hai số không nhưng không cắt bớt nếu dài hơn hai chữ số.

Cách chính xác là (chỉ thay đổi dòng cuối cùng):

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

Câu hỏi mới: lý do cho suy nghĩ đó là gì?

Trong Visual Studio 2008, nó mặc định là __int64trừ khi bạn xác định _USE_32BIT_TIME_T. Tốt hơn hết là bạn nên giả vờ rằng bạn không biết nó được định nghĩa là gì, vì nó có thể (và sẽ) thay đổi từ nền tảng này sang nền tảng khác.

time_tlà loại long inttrên máy 64 bit, khác long long int.

Bạn có thể xác minh điều này trong các tệp tiêu đề này:

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

(Các câu lệnh bên dưới không phải là câu lệnh khác. Chúng có thể được tìm thấy trong tệp tiêu đề resp. Sử dụng tìm kiếm Ctrl + f.)

1 trong time.h

typedef __time_t time_t;

2 trong types.h

# define __STD_TYPE     typedef  
__STD_TYPE __TIME_T_TYPE __time_t;  

3 trong 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) Một lần nữa trong 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;

Đây là loại số nguyên có chữ ký 32 bit trên hầu hết các nền tảng cũ. Tuy nhiên, điều đó khiến mã của bạn bị lỗi từ năm 2038 . Vì vậy, các thư viện C hiện đại nên xác định nó là int 64 bit đã ký thay vào đó, an toàn trong vài tỷ năm.

Thông thường, bạn sẽ tìm thấy các typedefs cụ thể triển khai cơ bản cho gcc trong thư mục bitshoặc asmtiêu đề. Đối với tôi, nó là /usr/include/x86_64-linux-gnu/bits/types.h.

Bạn chỉ có thể grep hoặc sử dụng một lời gọi tiền xử lý như được Quassnoi đề xuất để xem tiêu đề cụ thể nào.

Cuối cùng, một time_t typedef là gì?

Mã mạnh mẽ không quan tâm loại đó là gì.

C time_tlà một loại thực sự như double, long long, int64_t, int, vv

Nó thậm chí có thể unsignedlà giá trị trả về từ nhiều hàm thời gian chỉ ra lỗi là không -1, nhưng (time_t)(-1)- Lựa chọn triển khai này không phổ biến.

Vấn đề là loại "cần biết" là rất hiếm. Mã nên được viết để tránh sự cần thiết.

Tuy nhiên, một "điều cần biết" phổ biến xảy ra khi mã muốn in phần thô time_t. Đúc đến loại số nguyên rộng nhất sẽ phù hợp với hầu hết các trường hợp hiện đại.

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

Truyền tới một doublehoặc long doublecũng sẽ hoạt động, nhưng có thể cung cấp đầu ra thập phân không chính xác

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

time_tchỉ typedefdành cho 8 byte ( long long/__int64) mà tất cả các trình biên dịch và hệ điều hành đều hiểu. Trước đây, nó chỉ dành cho long int(4 byte) nhưng không phải bây giờ. Nếu bạn nhìn vào time_ttrong crtdefs.hbạn sẽ tìm thấy cả hai hiện thực nhưng hệ điều hành sẽ sử dụng long long.