c++ - 防止 C 样式数组指针的向上转换

Question

struct Entry
{
    int Data0;
};

struct ExtendedEntry : public Entry
{
    int Data1;
};

我有一个简单的方法，需要一个像这样的 C 风格数组指针指向 Entry

void Calculate(Entry* data, int count);

当将指针传递给 ExtendedEntry 数组时，此方法显然失败了。如何防止用户这样做？

ExtendedEntry items[50];
// [...]
Calculate(items, 50);

我并不是追求刀枪不入的API，我只是想防止我和我的同事再次犯同样的错误。

Answer 1

制作一个简单的包装器:

template <typename TEntry>
void CalculateSafe(TEntry* data, int count)
{
    static_assert(sizeof(TEntry) == sizeof(Entry), "size mismatch");
    Calculate(data, count);
}

这允许传递任何派生类型，只要它具有相同的大小，这将解决您在 C API 需要在数组中进行指针运算时遇到的问题。