下面选项中，哪一项说法是正确的？

A、用void * 定义的变量为无类型指针变量，必须指向一个没有类型的地址。
B、因C语言是高级语言，所以其不允许用户使用寄存器来提高运算的执行效率。
C、C语言的构造类型中结构体和共用体均为构造类型，其使用方法基本相同。
D、C语言函数的返回值类型由函数的声明来确定，和return语句中的返回表达式的类型无关。