函数体内声明的变量和主函数内声明的变量名称可以相同吗

可以一样，没有什么影响，两者是相互独立。在函数内部声明的是局部变量，其作用范围往往限制在这个函数内。

不会，函数或类都有自己的命名空间。

变量的声明有两种情况:
(1) 一种是需要建立存储空间的(定义、声明)。例如：int a在声明的时候就已经建立了存储空间。
(2) 另一种是不需要建立存储空间的(声明)。例如：extern int a其中变量a是在别的文件中定义的。
前者是"定义性声明(defining declaration)"或者称为"定义(definition)",而后者是"引用性声明(referncing declaration)"。从广义的角度来讲声明中包含着定义，但是并非所有的声明都是定义，例如:int a它既是声明，同时又是定义。然而对于extern a来讲它只是声明不是定义。一般的情况下我们常常这样叙述，把建立空间的声明称之为"定义"，而把不需要建立存储空间称之为"声明"。很明显我们在这里指的声明是范围比较窄的，也就是说非定义性质的声明。
例如：在主函数中
int main()
{
extern int A; //这是个声明而不是定义，声明A是一个已经定义了的外部变量
//注意：声明外部变量时可以把变量类型去掉如：extern A;
dosth(); //执行函数
}
int A; //是定义，定义了A为整型的外部变量(全局变量)
外部变量(全局变量)的"定义"与外部变量的"声明"是不相同的,外部变量的定义只能有一次，它的位置是在所有函数之外，而同一个文件中的外部变量声明可以是多次的，它可以在函数之内(哪个函数要用就在那个函数中声明)也可以在函数之外(在外部变量的定义点之前)。系统会根据外部变量的定义(而不是根据外部变量的声明)分配存储空间的。对于外部变量来讲，初始化只能是在"定义"中进行,而不是在"声明"中。所谓的"声明"，其作用，是声明该变量是一个已在后面定义过的外部变量，仅仅是在为了"提前"引用该变量而作的"声明"而已。extern只作声明，不作定义。
用static来声明一个变量的作用有二：
(1) 对于局部变量用static声明，则是为该变量分配的空间在整个程序的执行期内都始终存在
(2) 外部变量用static来声明，则该变量的作用只限于本文件模块
《转自》 http://www.cnblogs.com/wangliang651/archive/2009/04/06/1430098.html

变量的声明和定义以及extern的用法

变量的声明不同于变量的定义，这一点往往容易让人混淆。
l 变量的声明是告诉编译器，该变量名称已经存在，编译器认识这个名字，不会引起编译错误。
l 对变量进行定义之后，编译器就会给变量分配空间，链接时，链接器可以找到它们的地址。
在程序代码组织过程中，人们往往把变量的声明放在头文件中，而把变量的定义放在源文件中，如下面的例子所示（该例子在VC6.0中编译、链接通过）：
file1.h
/////////////////////////////////////////////////////
// 文件名：file1.h
// 该文档用来测试extern的用法
// extern表示外部声明一个变量
// 声明一个变量就是告诉编译器，这个变量名已经存在
// 但是没有给它分配空间。也就是说，声明了一个变量
// 如果程序中引用了该变量，能够通过编译，但是，
// 如果没有在某个文件中定义该变量的话，则链接会出错
// 因为链接目标文件的时候，需要该变量的确切地址.
/////////////////////////////////////////////////////