如何在C语言中用NAN填充int/size_t类型的向量/矩阵？

核心结论 #

首先明确：NAN是IEEE 754浮点数标准定义的特殊值，整数类型（包括int、size_t这类无符号整数）本身没有对应的标准NAN表示。你代码里直接把NAN赋值给size_t变量的做法是错误的——编译器会把浮点数NAN隐式转换为整数，结果是一个不确定的大数值（比如运行代码可能输出18446744073709551615），这并不是你想要的“无效值”标识。

可行替代方案 #

如果需要给整数类型的数组/矩阵标记“无效”“缺失”值，有几种实用的做法：

1. 选择超出业务范围的哨兵值 #

对于size_t（无符号整数，范围是0到SIZE_MAX），可以用SIZE_MAX作为哨兵值，前提是你的业务逻辑里不会用到这个最大值：

#include <stdio.h>
#include <stdlib.h>
#include <stddef.h> // 包含SIZE_MAX的定义

typedef struct {
  size_t nrows, ncols;
  size_t *array;
} Matrix ;

size_t ncol = 5;
size_t nrow = 1;

void print_matrix(Matrix * matrix);

int main()
{
  Matrix *mat1 = malloc(sizeof(Matrix));
  if (mat1 == NULL)
  {
    printf("Could not allocate memory\n");
    exit(EXIT_FAILURE);
  }
  mat1->nrows = nrow;
  mat1->ncols = ncol;
  mat1->array = malloc(mat1->nrows * mat1->ncols * sizeof(*mat1->array));
  if (mat1->array == NULL)
  {
    printf("Could not allocate array memory\n");
    free(mat1);
    exit(EXIT_FAILURE);
  }
  
  // 用SIZE_MAX作为替代NAN的无效值
  for (size_t row =0; row<mat1->nrows; row++)
  {
    for (size_t col =0; col<mat1->ncols; col++)
    {
      mat1->array[row * mat1->ncols + col] = SIZE_MAX;
    }
  }
  print_matrix(mat1);
  
  // 修复原代码的内存泄漏问题：先释放数组，再释放结构体
  free(mat1->array);
  free(mat1);
}

void print_matrix(Matrix * matrix)
{
  for (size_t row =0; row<matrix->nrows; row++)
  {
    for (size_t col =0; col<matrix->ncols; col++)
    {
      if (matrix->array[row * matrix->ncols + col] == SIZE_MAX) {
        printf("NAN "); // 打印时用NAN标识无效值
      } else {
        printf("%zu ", matrix->array[row * matrix->ncols + col]);
      }
    }
    printf("\n");
  }
}

注意：你提供的原代码有两处内存错误：一是重复调用malloc给mat1->array，导致第一次分配的内存泄漏；二是只释放了mat1结构体，未释放mat1->array，上面的代码已修复这些问题。

2. 用结构体包装值与有效性标记 #

如果所有可能的整数取值都在业务范围内，没法选哨兵值，可以用结构体同时存储数值和有效性状态：

// 包装size_t值和有效性标记
typedef struct {
  size_t value;
  int is_valid; // 1表示值有效，0表示无效（对应NAN）
} SizedValue;

// 修改矩阵结构体的数组类型
typedef struct {
  size_t nrows, ncols;
  SizedValue *array;
} Matrix ;

填充时把is_valid设为0表示无效，使用时先检查is_valid状态再处理value。

3. 改用浮点类型存储（业务允许的话） #

如果你的场景可以接受浮点类型的精度损失，直接用double类型存储，这样就能合法使用NAN，这是最直接的方案。

对原代码的额外说明 #

你代码中mat1->array[row * ncol + col] = NAN;这一行，编译器会执行浮点数到size_t的隐式转换，这个转换的结果是未定义行为（C标准没有规定NAN转整数的结果），不同编译器可能输出不同的大整数，完全达不到标记无效值的目的，必须避免这种写法。

内容的提问来源于stack exchange，提问作者ecjb