C++语法疑点

1函数模板不支持偏特化

2类内部的typedef 必须放在最前面,不然没法用:

　　疑问:为什么类声明处定义的函数体中能出现在后面在声明的成员变量??因为C++对于成员函数函数体的解析是放在整个类声明完毕之后的.

3const vs nonconst member function

注意成员函数的const属性限定并不出现在重载决议中,如果在一个基类中定义了一个成员函数memfunc1(), 然后定义了它的nonconst version

则在派生类里面无论定义一个 const memberfunc1()还是nonconst memberfunc1(),都会覆盖基类的那两个函数,比如下面代码:

class Base{
public:

virtual  void sayHello()
    {
        static int local = 0;
        local++;
        a = local;
        cout << "hello from nonconst"<<endl;
        cout << a;
    }
    virtual void sayHello() const
    {
        cout << "hello from const" << endl;
    }
private:
    int a;
};

class Derived:public Base
{
public:
    void sayHello()
    {
        cout << "derived" << endl; //派生类的const 对象再也调用不了sayHello函数了
    }

};
关于这一点,可以参考访问控制权限类似的设计,因为名字决议是先于访问控制权限的检查的

4函数返回值并不在name mangling之列,所以从这个角度讲,函数调用也没有达到绝对的类型安全(返回值搞错了的话编译器是检查不出来的)

5 pointer to data member

首先要意识到这是一种指针(可以赋值为nullptr,那样用%d就输出 -1),用printf(%d)输出的就是所指成员变量在类中的偏移

#include<iostream>
using namespace std;

class Point3d
{
public:
    //virtual ~Point3d(){}

    //static Point3d origin;
    float x;
    float y;
    float z;
};

struct Base1{int val1;};
struct Base2{int val2;};

struct Derived:Base1, Base2{};

void func1(int Derived::*dmp, Derived* p, const Derived& p2)
{
    cout << p->*dmp << endl;
    cout << p2.*dmp << endl;
}
int main(int argc, char** argv[])
{
    Point3d p;
    float Point3d::*p1 = nullptr;
    float Point3d::*p2 = &Point3d::x;
    if(p1 == p2)
        cout << "YES";
    printf("%d %d\n", p1, p2);
    Derived d1, d2;
    d1.val1 = 2, d1.val2 = 3;
    d2.val1 = 4, d2.val2 = 5;
    func1(&Derived::val1, &d1, d2);
    return 0;
}

6关于调用虚函数的开销

　　区分三种类型:普通对象,引用类型,指针类型

　　指针不用说,额外增加是间接性很容易理解

　　引用类型调用函数的格式看起来和对象类型是一致的,但调用虚函数的开销却和指针一样

　　普通对象调用虚函数就像调用一般的函数一样,没有额外开销

7violatile关键字修饰的作用

　　被volatile关键字所修饰的变量，只不过是每次使用的时候，都必须从(原始的)(存储变量内容的) 内存 中读取数据,写数据也应该要保证写到内存中去

不允许寄存器优化

8基于函数指针和直接的函数名的调用方式上完全一样:

　　这完全是为了方便.

还有一点,函数地址和数据地址是两个东西(一个指示代码段,一个指示数据段),所以把void*类型变量赋值成函数指针是错误的做法!

9 In C++, tentative definitions are not supported

10 One difference between C and C++, then, is the relative unimportance of the BSS data segment in C++. All global objects within C++ are treated as initialized.