为什么 C++允许变量名和类名相同吗？

Question

#include <iostream>
#include <vector>   

using namespace std; 

typedef int UINT4;

class Hack
{};

Hack& operator <(Hack& a , Hack& b) 
{
    std::cerr << "1";  
    return a; 
}

Hack& operator >(Hack& a, Hack& b)
{
    std::cerr <<  "2";    
    return a; 
}

int main()
{
    Hack vector; // It SHOULD be OK!?
    Hack UINT4; // It SHOULD be OK!?
    Hack v;
    Hack Hack; // It SHOULD be OK!?
    Hack = v; // It SHOULD be OK!?

    // Please stop to think for a moment: What will the following output?
    vector<UINT4> v; 

    // Oh, my god! The whole world goes mad!

    return 0; 
} 

Answer 1

听说过以下内容吗？请仔细查看参数类型:)

int stat(const char *path, struct stat *buf);

您在问题中所显示的内容实际上并不太引人注目。您在局部范围内声明变量名称，但程序中的类型名称位于全局范围内。我现在就给你看一些真正变态的东西：

int nooo = 0;
int main() {
   int nooo = 0;
}

W00t？为什么C++允许我们创建两个同名的变量！？！

好吧，我是开玩笑的。现在，我将向您介绍重复名称的真正黑暗面。考虑一下 C++ 给我们带来了什么！

struct A {
  int A; // noes!
};

A A; // another A!

本质上，这个都是为了 C 兼容性:)

Answer 2

您是从一个非常知道他正在使用类名作为变量标识符的人的角度提出问题：显然，这不是最佳实践。

现在，让我们换个角度来看：假设您不知道您所包含的一些不起眼的头文件中有一个奇怪的 typedef int i; 。您希望它能够破坏以下无辜的代码吗？

int i = 0;