将 std::string 解析为 ::std::string 以外的其他内容 - 可能吗？

Question

这是来自： constructing string from NULL?

的后续问题

以下内容：

void test(const std::string& s);

int main(){
  test(NULL);
}

运行时失败，但合法 c++。

为了尝试捕捉其中一些情况，作为替代方案，我考虑是否可以通过以下方式替换 std::string：

#include <string>


namespace {
namespace std {
    struct string : public ::std::string { //so far everything is good

    };
}
}


int main ()
 {
   std::string hello;//failure: ambiguous symbol

   return 0;
 }

给出以下错误：

<source>(17): error C2872: 'std': ambiguous symbol

C:/data/msvc/14.22.27905/include\string(19): note: could be 'std'

<source>(7): note: or       '`anonymous-namespace'::std'

<source>(17): error C2872: 'std': ambiguous symbol

C:/data/msvc/14.22.27905/include\string(19): note: could be 'std'

<source>(7): note: or       '`anonymous-namespace'::std'

Compiler returned: 2

我想如果不写一个更（完全）合格的名称就不可能解决它？但是是否可以在全局命名空间中写入 std::string 并让它解析为其他东西，而 ::std::string is 是一个有效类型。

背景：在尝试使用 cppcheck 和 cpp 核心检查失败后，我试图找到所有 std::string str = 0 或 NULL 或 nullptr 的案例 - 因为这些案例将在运行时失败。我认为这可能是一个前进的方向。

我最终修改了 basic_string 模板。 basic_string(int) = delete; basic_string(::std::nullptr_t) = delete; - 这不会捕获所有案例，但似乎确实至少可以捕获直接案例

Answer 1

将std::string 解析为::std::string 以外的其他内容 - 可能吗？
[...]
...作为替代方案，我考虑是否可以通过以下方式替换 std::string...

据我所知，不可能在您的匿名命名空间范围之外，因为您无法解决歧义（据我所知）。

如下所示，既然你在匿名命名空间的范围内，那就没问题了：

#include <string>

namespace
{
    namespace std
    {
        struct string : public ::std::string
        {

        };
    }
    std::string hello; // Fine
}


int main()
{
    std::string hello2; // Cannot be something else that ambiguous

    return 0;
}

---

但更糟糕的是，问题不在于std::string 本身，而在于std 命名空间。

确实，在您的匿名命名空间范围之外，std 的每次调用也会变得模棱两可。
这是编译器指出的错误。有两个 std 命名空间可以从全局范围内访问。

所以下面的例子就坏了：

#include <string>
#include <vector>

namespace
{
    namespace std
    {
        struct string : public ::std::string
        {

        };
    }
    std::string hello; // Fine
}


int main()
{
    std::vector<int> a; // FAIL: reference to 'std' is ambiguous

    return 0;
}

要解决在访问原始 std 命名空间时出现的歧义，您需要将其编写如下：

::std::vector<int> a; // Fully qualified name: Only way to refer to the `::std` namespace

如您所见，它仍然没有解决问题，更糟糕的是，它增加了巨大的不便。

---

所以道德是：

• 不要隐藏已经存在的类型，而是创建一个不同的类型。
• 同样，不要隐藏命名空间（通过将相同的命名空间定义为匿名命名空间 --> 邪恶）。

---

（我对这个答案的任何改进建议持开放态度）

Answer 2

您可以使用这种解决方案吗：您不是在 std::string 上工作，而是在会导致问题的函数上工作

#include <string>

void test(const std::string& s){

}
// add a new function which use a pointer : 
void test (const char* _Nonnull s) {
    test(std::string(s));

}
int main()
{
    test(NULL);
    return 0;
}

然后clang会产生一个警告： 生成了 1 个警告。

ASM generation compiler returned: 0

<source>:13:14: warning: null passed to a callee that requires a non-null argument [-Wnonnull]

test(NULL);

见https://godbolt.org/z/PujFor