C++学习笔记02-结构基础（问题-解答自查版）

前言

以下问题以Q&A形式记录，基本上都是笔者在初学一轮后，掌握不牢或者频繁忘记的点

Q&A的形式有助于学习过程中时刻关注自己的输入与输出关系，也适合做查漏补缺和复盘。

本文对读者可以用作自查，答案在后面，需要时自行对照。

--

问题集

## 2022年6月9日 -《C++ Primer plus》第5~8章

Q1：下面语句的执行结果？(注意：逗号的优先级)

        int cats = 17, 240;

        int cats = (17, 240);

Q2：以下两个C++函数的定义？哪个正确？

        void sum_arr(int iarray[], int n){ }

        void sum_arr(int[] iarray, int n){ }

Q3：手写迭代器，代码中 const int *i 是什么含义？

void print_arr(const int * begin, const int * end){
   for (const int *i = begin; i != end; i++) 
        cout << *i << " ";
}

int main(){
    int arr[arrSize]= {1,2,3,4,5,6,7};
    print_arr(arr, arr + arrSize);   //优点：从 地址begin~地址end 的遍历
}

Q4：C++中，这样能修改const变量吗？

        const float gmoon =1.63;

        float *pm = &g_moon;

Q5：如何定义一个第一个参数接受二维数组的函数体？：int sum(  ？,int size)

Q6：函数探幽——引用的本质？可以有空引用吗？

Q7：如何理解引用将两个变量 wallet1和wallet2 产生交换？

Q8： double refcube (const double &ra ); 入参 声明成这样有什么作用？

Q9：已知 double refcube (const double &ra ); 函数声明

        double z = refcube (x + 3.0); 这个调用正确吗?

         (注意本eg中：x是一个引用型double变量)

Q10：C++中，比较严谨的左值定义？

        另外地，有没有简单粗暴的理解方法？

Q11：已知 double refcube (double &ra ); 函数声明。

        什么时候编译器会让ra默认创建临时变量？（了解即可）

Q12：右值引用如何声明？一种特殊语法，使用在什么地方？

Q13：函数返回结构体引用变量的目的是什么？

Q14：将类对象传递给函数时，C++通常的做法是使用（）

Q15：这个函数重载的方式正确吗？

 Q16：这个函数重载的是否正确？

        int func(int a);

        int func(const int a);

Q17：模版函数的两种写法？

Q18：显式模板化是什么？其函数的声明？

Q19：重载匹配的规则？

Q20：cout << lesser<> (m, n) << endl ;  这个语法是什么意思？

Q21：函数模板中遇到未知变量类型，该使用何种关键字进行？

ps：这个情境最主要是因为模版无法预知入参运算的结果，比如 int+float 和 int+long 就很不同

参考解答

Q1：下面语句的执行结果？

        int cats = 17, 240;

        int cats = (17, 240);

A1：

 Q2：以下两个C++函数的定义？哪个正确？

        void sum_arr(int iarray[], int n){ }

        void sum_arr(int[] iarray, int n){ }

函数的入参为数组的时候，入参应被视为数组本身，还是数组首地址？

A2：void sum_arr(int iarray[], int n){ }正确；

根据C++规则，入参为数组，入参 int iarray[] = 数组名 = 函数指针 = 其第一个元素的地址

也就是说：函数传递的实则为地址。

这里补充了一个实验：

void sum_arr(int iarray[], int n){

    cout << 1;

}

void sum_arr(int * iarray, int n){

    cout << 2;

}

在这段代码中，函数 sum_arr 并不视为两种重载，而是视为重复定义，也就是其本质一样。

void sum_arr(int iarray[ ], int n) 实际在编译时被转换成了 → void sum_arr(int * iarray, int n)

注意：在C++中，当且仅当用于函数头或函数原型中，int *arr 和 int arr []的含义才是相同的。它们都意味着 arr 是一个 int 指针。

  

 Q3：手写迭代器，代码中 const int *i 是什么含义？

void print_arr(const int * begin, const int * end){

   for (const int *i = begin; i != end; i++) 

        cout << *i << " ";

}


int main(){

    int arr[arrSize]= {1,2,3,4,5,6,7};

    print_arr(arr, arr + arrSize);   //优点：从 地址begin~地址end 的遍历

}

A3：const int *i 表示一个 指向 const int 的指针，意味着这个指针的位置不会发生改变。

Q4：这样能修改const变量吗？

        const float gmoon =1.63;

        float *pm = &g_moon;

A4：不可以，语法上直接报错，其正确格式：

        const float gmoon = 1.63;

        const float *pm = &g_moon;

C++禁止将 const 的地址赋给非 const 指针。// error: invalid conversion from 'const char*' to 'char*' [-fpermissive]

如果读者非要这样做，可以使用强制类型转换来突破这种限制，详情请参阅第15章中对运算符const_cast 的讨论，这个东西专门用来突破const界限。

Q5：如何定义一个第一个参数接受二维数组的函数体？：int sum(  ？,int size)

A5：如下

ar2是指针而不是数组。还需注意的是，指针类型指出，它指向由 4 个int组成的数组。

因此，指针类型指定了列数，这就是没有将列数作为独立的函数参数进行传递的原因。

Q6：函数探幽——引用的本质？可以有空引用吗？

A6：给变量取别名；

引用变量的主要用途是用作函数的形参，引用变量用作参数，函数将使用原始数据，而不是其副本

引用要求初始化的时候就产生“绑定”，不能跳过初始化。这个特性比较类似const指针

Q7：如何理解引用将两个变量 wallet1和wallet2 产生交换？

A7：在swapr()中，变量a和b是 wallet1 和 wallet2 的别名，所以交换a和b的值相当于交换 wallet1 和 wallet2 的值;

注意：引用是别名，而不是地址。只是提供了一种方式来访问和操作它所绑定的对象。

这里有个习作，看看能不能看懂：

    int man = 233;        // 定义man

    int & robot = man;    // 定义引用变量 robot，绑定man，以后robot就是man的别名了

   

    vplus(robot);         // 给robot表示的变量输入vplus函数

    cout << man;         

}



void vplus (int & value){    // vplus：给入参表示的变量++； 即：给value表示的robot表示的man变量++

    value ++;                // 实际上，robot，man和vplus运行中的value指向了同一个值

}

Q8： double refcube (const double &ra ); 参数 声明成这样有什么作用？

A8：声明引用变量 &ra 是不可变的引用。引用型变量如果在函数体内部变来变去，外面的值也就发生变化了。

这个功能对于 ra 是一个double而言，实际上和值传递没有区别。

这个功能最有用的地方是用来引用struct或者class，如下：

之后在其中不用指针操作，而是可以直接在函数体内写 ft.name = "Joe"

Q9：接上面，已知 double refcube (const double &ra ); 声明

        double z = refcube (x + 3.0); 这个调用正确吗? (本eg：x是一个非const 的 double 引用变量)

A9：不正确，因为x+3不是一个变量。

        这里涉及了一个不容易被注意的规则：如果实参（double）与引用参数（const double &）不匹配，C++将生成临时变量。（具体的规则可以看Q11）

Q10：C++中，比较严谨的左值定义？

A10：定义比较简单，主要基于是否可被赋值，int a，以及 const int a; 都可以被视作左值

        较为粗暴的理解：

        C++中所有值必然属于左值或者右值，
        在C++11中可以取地址的、有名字的就是左值
        反之，不能取地址的、没有名字的就是右值。

Q11：已知 double refcube (double &ra ); 声明

        什么时候会让ra默认创建临时变量？（编译器差异，了解即可）

A11：目前，这种语法如果使用右值，已经不再是告警，而是直接报错：包括下面 c++ prime plus 书中的案例

旧版本两种情况：

        1）实参的类型正确，但不是左值;

        2）实参的类型不正确，但可以转换为正确的类型。

        总而言之，就是需要临时整一下，不能直接提供。

Q12：右值引用如何声明？一种特殊语法，使用在什么地方？

A12：用&&声明，

    int && ref = 7;

    cout << ref << endl;

允许将资源（如内存、文件句柄等）从临时对象转移到新对象，实现移动语义

Q13：函数返回结构体引用变量的目的是什么？

A13：为了效率，少一次拷贝。

Q14：将类对象传递给函数时，C++通常的做法是使用（）

A14：引用

Q15：这个函数重载的方式正确吗？

A15：不正确。

Q16：这个函数重载的是否正确？

        int func(int a);

        int func(const int a);

A16：不正确，const 不会被认作区分。

Q17：模版函数的两种写法？

A17：

template <typename T>;

或者 template <class T>;  // 后者C++98老式风格

void Swap(T &a,T &b) ;

Q18：显式模板化是什么？其函数的声明？

A18：

Q19：重载匹配的规则？

A19：哪个最接近匹配哪个。默认优先级：正常函数 > 模版函数

Q20：cout << lesser<> (m, n) << endl ;  这个语法是什么意思？

A20：主要是对于有函数模板和正常函数并存的情况，手动选择函数模板。

Q21：函数模板中遇到未知变量类型，该使用何种关键字进行？

ps：这个情境最主要是因为模版无法预知入参运算的结果，比如 int+float 和 int+long 就很不同

A21：通过关键字 decltype(x) y ，make y's type same as x；这个语法有点 auto y as x 的意思;

decltype 的内在本质是一个查表逻辑

Q22：函数模板中遇到未知返回值类型，该使用何种关键字进行？

ps：比起上一个问题，这个的难度在于考虑 x和y 甚至没有声明，编译器一无所知

后置返回类型 的内在本质是让 x和y 两个入参具备了作用域前提

A22：auto func()  -> TYPE,

// 这里的 TYPE 可以是传统类型，也可以是 decltype(入参)

经测验，这个代码可以运行正常（没有用decltype）：

template <typename T1, typename T2>

auto add(T1 a, T2 b){     //   auto add(T1 a, T2 b)  -> decltype(a+b)  is also correct

    return a+b;

}

int main(){

    int a = add(5,6);

    double b = add(5, 6.2);

    cout << a << endl;

    cout << b << endl;

}

原文地址：https://blog.csdn.net/qq_29068607/article/details/140618583

免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！