C++中T&的实际大小是否等于T*？Ref类相关技术疑问

问题背景 #

在C++中，直接对引用类型使用sizeof运算符会返回被引用类型的大小。因此编写了如下包装类来尝试获取引用类型本身的大小：

template <typename T>
struct Ref {
    T& ref;
};

测试发现sizeof(Ref<int>) == sizeof(int*)，即在32位架构下为4字节，64位架构下为8字节，由此产生两个疑问：

1. 认为sizeof(Ref<T>)是T&的实际大小，这个假设是否正确？
2. 如果正确，是否能保证对于所有类型T，Ref<T>（即T&）的大小与T*的大小一致？

疑问解答 #

1. 关于sizeof(Ref<T>)是否为T&实际大小的假设 #

这个假设并不准确。

C++标准中，引用本身不是独立的对象，没有“自身大小”的概念——它只是对另一个对象的别名，标准仅规定了引用的行为约束，并未强制其具体的内存实现方式。而sizeof(Ref<T>)得到的是包含引用成员的结构体的大小，这个大小本质是编译器为了实现该引用成员所分配的存储大小（多数编译器会用指针来实现引用，但这只是实现细节，而非标准要求）。

2. 是否能保证sizeof(Ref<T>)与sizeof(T*)始终一致 #

不能保证。

虽然在常见的桌面编译器（如GCC、Clang、MSVC）和主流架构（x86、x86_64）下，引用通常以指针形式实现，因此sizeof(Ref<T>)会等于sizeof(T*)，但这只是编译器的常规实现选择，并非C++标准的强制要求。

某些特殊场景下，编译器可能会对引用的实现做优化：比如针对小型对象或特定类型，编译器可能通过直接嵌入值而非指针的方式实现引用（尽管这种情况极少）；部分嵌入式编译器也可能因架构限制采用不同的引用实现逻辑，导致两者大小不同。

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