使用FFIsize_tprintf

Question

为了用printf在C中打印一个size_t整数，转换格式器是%zu。

但是，当我将printf与%zu一起使用时，通过FFI printzu而不是整数调用Haskell中的C函数。怎么解决呢？

文件zu. c

#include <stdio.h>

void printzu(){
    size_t x = 666;
    printf("x=%zu", x);
}

模块库。hs

{-# LANGUAGE ForeignFunctionInterface #-}
module Lib
  where
import Foreign

foreign import ccall unsafe "printzu" printzu' :: IO ()

Prelude> import Lib
Prelude Lib> printzu'
x=zu

Answer 1

我想提供另一种方法来处理不符合C99/C11标准但提供64位或更宽类型的系统。

导入并包含stdint。h/int类型。h设计用于将旧系统连接到新的C99标准。

示例：C99标准力。h头和MS Visual Studio

然后通过它们强制转换为一种广泛的类型

#if SIZE_MAX > ULONG_MAX
// Include from the standard location or wherever the imported included files are saved.
#include <stdint.h>
#include <inttypes.h>

void printzu(){
    size_t x = 666;
    printf("x=%" PRIuMAX "\n", (uint_max_t) x);
}

#else
void printzu(){
    size_t x = 666;
    printf("x=%lu\n", (unsigned long) x);
}
#endif

Answer 2

当未实现“%zu”时，另一种方法是转换为某个宽类型并打印该类型，但有一定的截断风险。

size_t sz = foo();
printf("%lu\n", (unsigned long) sz);  // risk of truncation.

代码可以尝试其他整数宽的类型，如uintmax_t和无符号长，但是如果"%zu"没有实现，那么很可能"%ju"和"%llu"也不会实现被执行。

部分打印可以避免截断。

printf("%lX%08lX\n", 
    (unsigned long) (sz/0x10000u/0x10000u), (unsigned long) (sz & 0xFFFFFFFFu));

// remote truncation risk remains.
printf("%lu%09lu\n", 
    (unsigned long) (sz/1000000000u), (unsigned long) (sz%1000000000u));

可以使用更复杂的代码来避免前导数字。

Answer 3

由于printf（）是C标准库的一部分，它通常在一些运行库中实现。当动态链接时，如果根据调用代码的进程的不同，链接了库的不同版本，则可能会对相同的代码产生这种效果。如果%zu不起作用，那么它是一个旧版本，目前还不支持C99。

在windows上，它很可能是系统的MSVCRT. DLL，不再用于公共用途，但与旧的MS Visual C 6版本保持兼容。例如，默认情况下，MinGW链接到该库，因此您不需要运送自己的C运行时。这当然有限制库函数为C89/C90的缺点。

打印一个size_t通常比较安全的方法是将其转换为无符号长并打印：

size_t x = 666;
printf("x=%lu", (unsigned long)x);

这只会给出错误的结果，如果

• 实际上，平台的大小\u t大于无符号长（这是正确的，例如，对于采用LLP64数据模型的64位系统，如win64）和
• 您在运行时确实有一个不适合无符号long的大小。该值必须至少大于4G（2³²），因为这是无符号长的保证最小范围

请注意，演员阵容在这里非常重要。因为printf（）是一个可变函数，所以原型看起来就像printf（const char*fmt，…） ，因此编译器没有可用的类型信息——因此无法进行自动转换。

如果问题特别是MSVCRT。如果您想坚持使用C99或更高版本，我建议使用inttypes。h在前面的回答中。这将永远不会在Windows上打印错误的值（并且在其他平台上仍然需要符合C99标准的库）。