是否有理由不直接打印uint64_t？

Question

我正在研究打印ESP32板的MAC地址。 Arduino示例通过以下方式对其进行定义：

uint64_t chipid=ESP.getEfuseMac();//The chip ID is essentially its MAC address(length: 6 bytes).
Serial.printf("ESP32 Chip ID = %04X",(uint16_t)(chipid>>32));//print High 2 bytes
Serial.printf("%08X\n",(uint32_t)chipid);//print Low 4bytes.

但是，我发现可以通过以下方式实现：

  uint64_t chipId = ESP.getEfuseMac();
  Serial.printf("%" PRIx64 "\n", chipId);

第二种方法显然更冗长，但是，当在网上查找时，我从未在Arduino板上找到这样的例子。这样是否存在内存问题？