无法删除代码分析警告 C26462

Question

示例代码：

void COptionsDlg::OnBnClickedButtonMoreSettings()
{
    CString strCaption = _T("");
    const auto pMoreSettingsButton = GetDlgItem(IDC_BUTTON_MORE_SETTINGS);

    if (pMoreSettingsButton == nullptr)
        return;

    pMoreSettingsButton->GetWindowText(strCaption);

    __pragma(warning(suppress:26414))
        auto pDlgOther = std::make_unique<COtherSettingsSheet>(strCaption);
    if (pDlgOther != nullptr)
    {
        pDlgOther->DoModal();
    }
}

为什么编译器仍然抱怨这一行：

它仍然说：

C26462：pMoreSettingsButton指向的值只赋值一次，标记为指向const的指针（con.4）。

我正在使用 Visual Studio 2022 Preview 6，并且在其他类文件中也注意到了这一点。是我做错了什么还是我应该向 Microsoft 解决的错误？

Answer 1

以下程序抓住了问题的要点，但不失一般性：

int* foo() { return nullptr; }

int main() {
    const auto p = foo();  // C26462
}

它会产生一个C26462 诊断，然后继续提供解决方案：

将其标记为指向const的指针

您可能认为const auto 正是这样做的，但事实并非如此。

编译器需要推断用auto 替换什么。它查看foo() 的函数声明，并明确得出结论，auto 应该替换为int*。那部分不是很有趣。这里唯一的惊喜可能是，C++ 走的是最少惊喜的路线。

那么，如果auto 被int* 替换，很明显const auto 应该变成const int*，即指向const 的指针，正如诊断消息所建议的那样。那为什么代码分析器还在报错呢？

嗯，在设计编程语言时，选择最少惊喜的路线并不是唯一的选择，C++ 也不会羞于积极探索那种设计空间也！ const 关键字的放置当然属于该类别：

广义而言，const 适用于紧靠其左侧的任何内容。这很简单，看似如此，与 C++ 非常不同。当然，还有一个特殊的规则可以看到如此频繁的应用，以至于我们几乎完全忘记了它的特殊性：如果const 的左边没有任何东西，那么它就会应用到它右边的任何东西上。对于值，这无关紧要：const int 和 int const 意思相同。但是，当涉及指针时，事情会变得更加有趣。 const int* 和 int* const 意味着完全不同的东西。前者指定一个“指向const的指针”，而后者是一个“const指针”。

回到这里的直接问题，const auto 被转换为 auto const（通过特殊的 const 规则），最后 auto 被替换，产生 int* const（或 CWnd* const 为在最初的问题陈述中）。这不是一个“指向const”的指针。要解决此问题，您有两种选择：

• 命名具体类型，即CWnd const*，或
• 让auto 解决其他问题，例如auto const*（注意尾部的 * 导致编译器推断类型 CWnd，并允许您对指针进行 cv 限定）

无论哪种方式，您都应该考虑使用"consistent const", also referred to as "east const"，而忘记const 甚至还有一个特殊规则。