主页 / coding / 问题 / 79326160
Accepted
einpoklum
Asked: 2025-01-03 18:27:00 +0800 CST

在 C 语言中，当且仅当 int64_t 可用时，PRId64 才被定义，这一说法正确吗？

  • 772

我想在 C 中可移植地使用 64 位有符号类型。但是 - 我知道int64_t不能保证定义。我可以在构建系统生成中使用一些预处理器魔法（例如 CMake 的check_type_size()）来获取预处理器定义，告诉我是否可以使用它。但是 - 我们确实有PRId64格式说明符，我们将使用它来将int64_t值传递给printf()类似函数。因此，我可以使用的定义PRId64作为确定是否int64_t可用的代理吗？

c

2 个回答

  1. Best Answer

    您可以测试可能由提供的可选宏是否存在<stdint.h>，例如INT64_MIN或，当且仅当实现了INT64_MAX相应的可选类型（例如）时，才会定义这些宏。int64_t

    来自 C99 §7.18 第 4 部分、C11/C17 §7.20 第 4 部分以及 C23 §7.22.1 第 4 部分：

    对于本文描述的实现提供的每种类型，<stdint.h>应声明该 typedef 名称并定义相关宏。相反，对于本文描述的实现未提供的每种类型，<stdint.h>不应声明该 typedef 名称，也不应定义相关宏。实现应提供那些被描述为“必需”的类型，但不得提供任何其他类型（被描述为“可选”）。

    标准目前不要求，如果未实现，PRId64则不会定义宏，对于定义的其他可选类型也是如此。<inttypes.h>int64_t<stdint.h>

    总之：

    • defined(INT64_MIN)当且仅当int64_t实现
    • defined(PRId64)并不意味着int64_t实施
    • !defined(PRId64)意味着int64_t没有实现
    • 7

  2. 是的，但是...

    它确实是用于该目的的代理。标准在 7.8.1 中有以下内容<inttypes.h>：

    标头 <inttypes.h> 包含标头 <stdint.h>，并使用托管实现提供的附加功能对其进行扩展。

    此处的“托管”是指带有操作系统的系统；因此，是的，您可以使用宏来检测托管环境中相应类型的存在。请注意，符合 C99 的实现可以在不存在的情况下定义 printf 和 scanf 格式宏int64_t（正如 Ian Abbott 指出的那样），尽管这似乎是一个相当古怪的场景。另一方面，如果您计划在非托管环境中运行代码（或支持运行代码），例如嵌入式平台或内核，则不应使用，<inttypes.h>因为该标头可能不可用。那么您可以使用什么来代替呢？

    int64_t/uint64_t在标准中被称为“精确宽度整数”，并在 7.22.2.2 (C23) 和 7.18.1.1 (C99) 中定义。以下内容可在 C23 标准草案的 规范下找到<stdint.h>：

    7.22.3 指定宽度整数类型的宽度

    7.22.3.1 一般规定

    任何已定义宏的每个实例都应替换为适用于 #if 预处理指令的常量表达式。其实现定义的值应等于或大于后续子句中给出的值，除非声明为给定值。 实现应仅定义与其实际提供的 typedef 名称相对应的宏。

    7.22.3.2 精确宽度整数类型的宽度

    INT N _WIDTH 正好N
    UINT N _WIDTH 正好N

    在 C99 中，未指定宽度宏；可以使用 7.18.2.1 中描述的限制宏。这些宏与 C23 宏有类似的警告，可在 7.18 的第 4 段中找到。

    7.18.2.1 精确宽度整数类型的限制

    — 精确宽度有符号整数类型的最小值
        INT N _MIN 精确 −(2N −1 )
    — 精确宽度有符号整数类型的最大值
        INT N _MAX 精确 2N −1 − 1

    也就是说，你可以使用在头文件中定义的宏typedef来首先声明类型。例如，INT64_WIDTH和UINT64_MIN。

    • 3

相关问题