題目來自牛客網
解析部分來自牛客網
https://www.nowcoder.com/4685265
一
分析下面代碼有什么問題?
void test1()
{
char string[10];
char* str1 = "0123456789";
strcpy( string, str1 );
}
答案:
字符串str1需要11個字節才能存放下(包括末尾的’\0’),而string只有10個字節的空間,strcpy會導致數組越界;
補充:
strcpy函數
strcpy是一種C語言的標准庫函數,strcpy把含有'\0'結束符的字符串復制到另一個地址空間,返回值的類型為char*。
定義:
char * strcpy(char * strDest,const char * strSrc);
二:
分析下面代碼有什么問題?
void test2()
{
char string[10], str1[10];
int i;
for(i=0; i<10; i++)
{
str1 = 'a';
}
strcpy( string, str1 );
}
首先,代碼根本不能通過編譯。因為數組名str1為 char *const類型的右值類型,根本不能賦值。
再者,即使想對數組的第一個元素賦值,也要使用 *str1 = 'a';
其次,對字符數組賦值后,使用庫函數strcpy進行拷貝操作,strcpy會從源地址一直往后拷貝,直到遇到'\0'為止。所以拷貝的長度是不定的。如果一直沒有遇到'\0'導致越界訪問非法內存,程序就崩了。
完美修改方案為:
void test2()
{
char string[10], str1[10];
int i;
for(i=0; i<9; i++)
{
str1[i] = 'a';
}
str1[9] = '\0';
strcpy( string, str1 );
}
三:
指出下面代碼有什么問題?
void test3(char* str1)
{
if(str1 == NULL){
return ;
}
char string[10];
if( strlen( str1 ) <= 10 )
{
strcpy( string, str1 );
}
}
if(strlen(str1) <= 10)應改為if(strlen(str1) < 10),因為strlen的結果未統計’\0’所占用的1個字節。
否則會產生數組越界的錯誤。
補充:
strlen和sizeof:
1.sizeof:
sizeof(...)是運算符,在頭文件中typedef為unsigned int,其值在編譯時即計算好了,參數可以是數組、指針、類型、對象、函數等。
它的功能是:獲得保證能容納實現所建立的最大對象的字節大小。
由於在編譯時計算,因此sizeof不能用來返回動態分配的內存空間的大小。實際上,用sizeof來返回類型以及靜態分配的對象、結構或數組所占的空間,返回值跟對象、結構、數組所存儲的內容沒有關系。
具體而言,當參數分別如下時,sizeof返回的值表示的含義如下:
數組——編譯時分配的數組空間大小;
指針——存儲該指針所用的空間大小(存儲該指針的地址的長度,是長整型,應該為4);
類型——該類型所占的空間大小;
對象——對象的實際占用空間大小;
函數——函數的返回類型所占的空間大小。函數的返回類型不能是void。
2.strlen:
strlen(...)是函數,要在運行時才能計算。參數必須是字符型指針(char*)。當數組名作為參數傳入時,實際上數組就退化成指針了。
它的功能是:返回字符串的長度。該字符串可能是自己定義的,也可能是內存中隨機的,該函數實際完成的功能是從代表該字符串的第一個地址開始遍歷,直到遇到結束符NULL。返回的長度大小不包括NULL。
四:
寫出完整版的strcpy函數
如果編寫一個標准strcpy函數的總分值為10,下面給出幾個不同得分的答案:
2分
void strcpy( char *strDest, char *strSrc )
{
while( (*strDest++ = * strSrc++) != ‘\0’ );
}
4分
void strcpy( char *strDest, const char *strSrc )
//將源字符串加const,表明其為輸入參數,加2分
{
while( (*strDest++ = * strSrc++) != ‘\0’ );
}
7分
void strcpy(char *strDest, const char *strSrc)
{
//對源地址和目的地址加非0斷言,加3分
assert( (strDest != NULL) && (strSrc != NULL) );
while( (*strDest++ = * strSrc++) != ‘\0’ );
}
10分
//為了實現鏈式操作,將目的地址返回,加3分!
char * strcpy( char *strDest, const char *strSrc )
{
assert( (strDest != NULL) && (strSrc != NULL) );
char *address = strDest;
while( (*strDest++ = * strSrc++) != ‘\0’ );
return address;
}
補充:
在C/C++中,賦值語句的返回值是所賦的值。
五:
檢查下面的代碼有什么問題:
void GetMemory( char *p )
{
p = (char *) malloc( 100 );
}
void Test( void )
{
char *str = NULL;
GetMemory( str );
strcpy( str, "hello world" );
printf( str );
}
傳入中GetMemory( char *p )函數的形參為字符串指針,在函數內部修改形參並不能真正的改變傳入形參的實參值,執行完
char *str = NULL;
GetMemory( str );
后的str仍然為NULL;
1:傳入形參並不能真正改變形參的值,執行完之后為空;
2:在函數GetMemory中和Test中沒有malloc對應的free,造成內存泄露
補充:
函數內部只是為p這個指針開辟了空間,原本指向str的p,現在指向了新的地址。
六:
下面的代碼會出現什么問題?
char *GetMemory( void )
{
char p[] = "hello world";
return p;
}
void Test( void )
{
char *str = NULL;
str = GetMemory();
printf( str );
}
char p[] = "hello world";
return p;
的p[]數組為函數內的局部自動變量,在函數返回后,內存已經被釋放。這是許多程序員常犯的錯誤,其根源在於不理解變量的生存期。
七:
下面的代碼會出現什么問題?
void GetMemory( char **p, int num )
{
*p = (char *) malloc( num );
}
void Test( void )
{
char *str = NULL;
GetMemory( &str, 100 );
strcpy( str, "hello" );
printf( str );
}
1. 傳入GetMemory的參數為字符串指針的指針,但是在GetMemory中執行申請內存及賦值語句
*p = (char *) malloc( num );
后未判斷內存是否申請成功,應加上:
if ( *p == NULL )
{
...//進行申請內存失敗處理
}
2. 未釋放堆內存 動態分配的內存在程序結束之前沒有釋放,應該調用free, 把malloc生成的內存釋放掉
3. printf(str) 改為 printf("%s",str)
補充:
char **p是指針char型指針的指針所以 *p可能為空**p也可能為空
堆區的內存一般由程序員申請和釋放。
new,malloc都是在堆上申請內。全局變量和static變量也是在堆上。
八:
下面的代碼會出現什么問題?
void Test( void )
{
char *str = (char *) malloc( 100 );
strcpy( str, "hello" );
free( str );
... //省略的其它語句
}
在執行
char *str = (char *) malloc(100);
后未進行內存是否申請成功的判斷;另外,在free(str)后未置str為空,導致可能變成一個“野”指針,應加上:
str = NULL;
九:
看看下面的一段程序有什么錯誤?
swap( int* p1,int* p2 )
{
int *p;
*p = *p1;
*p1 = *p2;
*p2 = *p;
}
1.需要一個返回值void
2在swap函數中,p是一個“野”指針,有可能指向系統區,導致程序運行的崩潰。
程序應改成:
void swap( int* p1,int* p2 )
{
int p;
p = *p1;
*p1 = *p2;
*p2 = p;
}
十:
分別給出BOOL,int,float,指針變量 與“零值”比較的 if 語句(假設變量名為var)
BOOL型變量:if(!var)
int型變量: if(var==0)
float型變量:
const float EPSINON = 0.00001;
if ((x >= - EPSINON) && (x <= EPSINON)
指針變量: if(var==NULL)
考查對0值判斷的“內功”,BOOL型變量的0判斷完全可以寫成if(var==0),而int型變量也可以寫成if(!var),指針變量的判斷也可以寫成if(!var),上述寫法雖然程序都能正確運行,但是未能清晰地表達程序的意思。
一般的,如果想讓if判斷一個變量的“真”、“假”,應直接使用if(var)、if(!var),表明其為“邏輯”判斷;如果用if判斷一個數值型變量(short、int、long等),應該用if(var==0),表明是與0進行“數值”上的比較;而判斷指針則適宜用if(var==NULL),這是一種很好的編程習慣。
浮點型變量並不精確,所以不可將float變量用“==”或“!=”與數字比較,應該設法轉化成“>=”或“<=”形式。如果寫成if (x == 0.0),則判為錯,得0分。
十一:
以下為Windows NT下的32位C++程序,請計算sizeof的值
void Func ( char str[100] )
{
sizeof( str ) = ?
}
void *p = malloc( 100 );
sizeof ( p ) = ?
sizeof( str ) = 4
sizeof ( p ) = 4
【剖析】
Func ( char str[100] )函數中數組名作為函數形參時,在函數體內,數組名失去了本身的內涵,僅僅只是一個指針;在失去其內涵的同時,它還失去了其常量特性,可以作自增、自減等操作,可以被修改。
數組名的本質如下:
(1)數組名指代一種數據結構,這種數據結構就是數組;
例如:
1 2 |
|
輸出結果為10,str指代數據結構char[10]。
(2)數組名可以轉換為指向其指代實體的指針,而且是一個指針常量,不能作自增、自減等操作,不能被修改;
char str[10];
str++; //編譯出錯,提示str不是左值
(3)數組名作為函數形參時,淪為普通指針。
Windows NT 32位平台下,指針的長度(占用內存的大小)為4字節,故sizeof( str ) 、sizeof ( p ) 都為4。
十二:
寫一個“標准”宏MIN,這個宏輸入兩個參數並返回較小的一個。另外,當你寫下面的代碼時會發生什么事?
least = MIN(*p++, b);
簡單來說,宏定義就是在使用宏的地方一一進行替換。
解答:
1 |
|
MIN(*p++, b)會產生宏的副作用
剖析:
這個面試題主要考查面試者對宏定義的使用,宏定義可以實現類似於函數的功能,但是它終歸不是函數,而宏定義中括弧中的“參數”也不是真的參數,在宏展開的時候對“參數”進行的是一對一的替換。
程序員對宏定義的使用要非常小心,特別要注意兩個問題:
(1)謹慎地將宏定義中的“參數”和整個宏用用括弧括起來。所以,嚴格地講,下述解答:
1 2 |
|
都應判0分;
(2)防止宏的副作用。
宏定義#define MIN(A,B) ((A) <= (B) ? (A) : (B))對MIN(*p++, b)的作用結果是:
1 |
|
這個表達式會產生副作用,指針p會作2次++自增操作。
除此之外,另一個應該判0分的解答是:
1 |
|
這個解答在宏定義的后面加“;”,顯示編寫者對宏的概念模糊不清,只能被無情地判0分並被面試官淘汰。
十三:
為什么標准頭文件都有類似以下的結構?
#ifndef __INCvxWorksh
#define __INCvxWorksh
#ifdef __cplusplus
extern "C" {
#endif
/*...*/
#ifdef __cplusplus
}
#endif
#endif /* __INCvxWorksh */
頭文件中的編譯宏
1 2 3 |
|
的作用是防止被重復引用。
作為一種面向對象的語言,C++支持函數重載,而過程式語言C則不支持。函數被C++編譯后在symbol庫中的名字與C語言的不同。例如,假設某個函數的原型為:
void foo(int x, int y);
該函數被C編譯器編譯后在symbol庫中的名字為_foo,而C++編譯器則會產生像_foo_int_int之類的名字。_foo_int_int這樣的名字包含了函數名和函數參數數量及類型信息,C++就是靠這種機制來實現函數重載的。
為了實現C和C++的混合編程,C++提供了C連接交換指定符號extern "C"來解決名字匹配問題,函數聲明前加上extern "C"后,則編譯器就會按照C語言的方式將該函數編譯為_foo,這樣C語言中就可以調用C++的函數了。
十四:
編寫類String的構造函數、析構函數和賦值函數,已知類String的原型為:
class String
{
public:
String(const char *str = NULL); // 普通構造函數
String(const String &other); // 拷貝構造函數
~ String(void); // 析構函數
String & operator =(const String &other); // 賦值函數
private:
char *m_data; // 用於保存字符串
};
//普通構造函數
String::String(
const
char
*str)
{
if
(str==NULL)
{
m_data =
new
char
[1];
// 得分點:對空字符串自動申請存放結束標志'\0'的空
//加分點:對m_data加NULL 判斷
*m_data =
'\0'
;
}
else
{
int
length =
strlen
(str);
m_data =
new
char
[length+1];
strcpy
(m_data, str);
}
}
// String的析構函數
String::~String(
void
)
{
delete
[] m_data;
// 或delete m_data;
}
//拷貝構造函數
String::String(
const
String &other)
// 得分點:輸入參數為const型
{
int
length =
strlen
(other.m_data);
m_data =
new
char
[length+1];
strcpy
(m_data, other.m_data);
}
//賦值函數
String & String::operator =(
const
String &other)
// 得分點:輸入參數為const型
{
if
(
this
== &other)
//得分點:檢查自賦值
return
*
this
;
delete
[] m_data;
//得分點:釋放原有的內存資源
int
length =
strlen
( other.m_data );
m_data =
new
char
[length+1];
strcpy
( m_data, other.m_data );
return
*
this
;
//得分點:返回本對象的引用
}
十七:
請說出static和const關鍵字盡可能多的作用
static關鍵字至少有下列n個作用:
(1)函數體內static變量的作用范圍為該函數體,不同於auto變量,該變量的內存只被分配一次,因此其值在下次調用時仍維持上次的值;
(2)在模塊內的static全局變量可以被模塊內所用函數訪問,但不能被模塊外其它函數訪問;
(3)在模塊內的static函數只可被這一模塊內的其它函數調用,這個函數的使用范圍被限制在聲明它的模塊內;
(4)在類中的static成員變量屬於整個類所擁有,對類的所有對象只有一份拷貝;
(5)在類中的static成員函數屬於整個類所擁有,這個函數不接收this指針,因而只能訪問類的static成員變量。
const關鍵字至少有下列n個作用:
(1)欲阻止一個變量被改變,可以使用const關鍵字。在定義該const變量時,通常需要對它進行初始化,因為以后就沒有機會再去改變它了;
(2)對指針來說,可以指定指針本身為const,也可以指定指針所指的數據為const,或二者同時指定為const;
(3)在一個函數聲明中,const可以修飾形參,表明它是一個輸入參數,在函數內部不能改變其值;
(4)對於類的成員函數,若指定其為const類型,則表明其是一個常函數,不能修改類的 成員變量;
(5)對於類的成員函數,有時候必須指定其返回值為const類型,以使得其返回值不為“左值”。例如:
const classA operator*(const classA& a1,const classA& a2);
operator*的返回結果必須是一個const對象。如果不是,這樣的變態代碼也不會編譯出錯:
classA a, b, c;
(a * b) = c; // 對a*b的結果賦值
操作(a * b) = c顯然不符合編程者的初衷,也沒有任何意義。
十八:
寫一個函數返回1+2+3+…+n的值(假定結果不會超過長整型變量的范圍)
int Sum( int n )
{
return ( (long)1 + n) * n / 2; //或return (1l + n) * n / 2;
}