c++ - 如何使用 gsl::span 修复没有数组指向指针衰减警告？

Question

我正在尝试解决以下警告。

warning C26485: Expression 'pNMLink->item.szUrl':
No array to pointer decay. (bounds.3...)

此警告是由以下代码引起的。

auto pNMLink = reinterpret_cast<PNMLINK>(pNMHDR);
ShellExecuteW(nullptr, L"open", pNMLink->item.szUrl, nullptr, nullptr, SW_SHOWNORMAL);

C++ 核心指南极其有限的文档表明解决方案是使用跨度。

array decay -- use span (from the GSL)

不幸的是，它没有提供有关如何从数组构建跨度的信息。

我尝试了以下方法。

gsl::span<wchar_t> url(pNMLink->item.szUrl);

我也尝试了许多其他选择。它们都导致相同的确切警告。我需要使用什么魔法咒语来避免警告？

score 3 · Accepted Answer

这似乎是静态分析工具中的错误。我怎么知道？因为如果您这样做，您不会收到此警告：

int arr[10];
gsl::span<int> sp1(arr);

但是如果你这样做，你会收到警告：

struct Arr { int arr[10]; };
Arr test;
gsl::span<int> sp2(test.arr);

gsl::span有一个通过引用获取数组参数的构造函数，所以当你直接传递一个数组时，应该没有衰减。如所示sp1，不发出警告。并且没有 C++ 理由为什么从结构中获取数组会在使用自动变量时引起衰减。

很明显，这是分析工具中的一个错误，一个误报。

1 回答 1