C++中Static作用和使用方法

C++中Static作用和使用方法

1、什麼是static?

static是C++中很常用的修飾符,它被用來控制變量的存儲方式和可見性。

2、為什麼要引入static?
函數內部定義的變量,在程序執行到它的定義處時,編譯器為它在棧上分配空間,大家知道,函數在棧上分配的空間在此函數執行結束時會釋放掉,這樣就產生了一個問題: 如果想將函數中此變量的值保存至下一次調用時,如何實現? 最容易想到的方法是定義一個全局的變量,但定義為一個全局變量有許多缺點,最明顯的缺點是破壞了此變量的訪問範圍(使得在此函數中定義的變量,不僅僅受此函數控制)。

3、什麼時候用static?
需要一個數據對象為整個類而非某個對象服務,同時又力求不破壞類的封裝性,即要求此成員隱藏在類的內部,對外不可見。

4、static的內部機制:
靜態數據成員要在程序一開始運行時就必須存在。因為函數在程序運行中被調用,所以靜態數據成員不能在任何函數內分配空間和初始化。


這樣,它的空間分配有三個可能的地方,一是作為類的外部接口的頭文件,那裡有類聲明;二是類定義的內部實現,那裡有類的成員函數定義;三是應用程序的main()函數前的全局數據聲明和定義處。
靜態數據成員要實際地分配空間,故不能在類的聲明中定義(只能聲明數據成員)。類聲明只聲明一個類的“尺寸和規格”,並不進行實際的內存分配,所以在類聲明中寫成定義是錯誤的。它也不能在頭文件中類聲明的外部定義,因為那會造成在多個使用該類的源文件中,對其重複定義。
static被引入以告知編譯器,將變量存儲在程序的靜態存儲區而非棧上空間,靜態
數據成員按定義出現的先後順序依次初始化,注意靜態成員嵌套時,要保證所嵌套的成員已經初始化了。消除時的順序是初始化的反順序。

5、static的優勢:
可以節省內存,因為它是所有對象所公有的,因此,對多個對象來說,靜態數據成員只存儲一處,供所有對象共用。靜態數據成員的值對每個對象都是一樣,但它的值是可以更新的。只要對靜態數據成員的值更新一次,保證所有對象存取更新後的相同的值,這樣可以提高時間效率。

6、引用靜態數據成員時,採用如下格式:
::
如果靜態數據成員的訪問權限允許的話(即public的成員),可在程序中,按上述格式來引用靜態數據成員。

7、注意事項:
(1)類的靜態成員函數是屬於整個類而非類的對象,所以它沒有this指針,這就導致了它僅能訪問類的靜態數據和靜態成員函數。
(2)不能將靜態成員函數定義為虛函數。
(3)由於靜態成員聲明於類中,操作於其外,所以對其取地址操作,就多少有些特殊,變量地址是指向其數據類型的指針 ,函數地址類型是一個“nonmember函數指針”。

(4)由於靜態成員函數沒有this指針,所以就差不多等同於nonmember函數,結果就產生了一個意想不到的好處:成為一個callback函數,使得我們得以將C++和C-based X Window系統結合,同時也成功的應用於線程函數身上。
(5)static並沒有增加程序的時空開銷,相反她還縮短了子類對父類靜態成員的訪問時間,節省了子類的內存空間。
(6)靜態數據成員在時前面加關鍵字static。


(7)靜態數據成員是靜態存儲的,所以必須對它進行初始化。
(8)靜態成員初始化與一般數據成員初始化不同:
   初始化在類體外進行,而前面不加static,以免與一般靜態變量或對象相混淆;
   初始化時不加該成員的訪問權限控制符private,public等;
   初始化時使用作用域運算符來標明它所屬類;
   所以我們得出靜態數據成員初始化的格式:
::=
(9)為了防止父類的影響,可以在子類定義一個與父類相同的靜態變量,以屏蔽父類的影響。這裡有一點需要注意:我們說靜態成員為父類和子類共享,但我們有重複定義了靜態成員,這會不會引起錯誤呢?不會,我們的編譯器採用了一種絕妙的手法:name-mangling 用以生成唯一的標誌。

靜態數據成員
  在類中,靜態成員可以實現多個對象之間的數據共享,並且使用靜態數據成員還不會破壞隱藏的原則,即保證了安全性。因此,靜態成員是類的所有對象中共享的成員,而不是某個對象的成員。
  使用靜態數據成員可以節省內存,因為它是所有對象所公有的,因此,對多個對象來說,靜態數據成員只存儲一處,供所有對象共用。靜態數據成員的值對每個對象都是一樣,但它的值是可以更新的。只要對靜態數據成員的值更新一次,保證所有對象存取更新後的相同的值,這樣可以提高時間效率。


  靜態數據成員的使用方法和注意事項如下:
  1、靜態數據成員在定義或說明時前面加關鍵字static。
  2、靜態成員初始化與一般數據成員初始化不同。靜態數據成員初始化的格式如下:
    ::=
  這表明:

  (1) 初始化在類體外進行,而前面不加static,以免與一般靜態變量或對象相混淆。
  (2) 初始化時不加該成員的訪問權限控制符private,public等。
  (3) 初始化時使用作用域運算符來標明它所屬類,因此,靜態數據成員是類的成員,而不是對象的成員。
  3、靜態數據成員是靜態存儲的,它是靜態生存期,必須對它進行初始化。
  4、引用靜態數據成員時,採用如下格式:
   ::
  如果靜態數據成員的訪問權限允許的話(即public的成員),可在程序中,按上述格式來引用靜態數據成員。

靜態成員函數
  靜態成員函數和靜態數據成員一樣,它們都屬於類的靜態成員,它們都不是對象成員。因此,對靜態成員的引用不需要用對象名。


  在靜態成員函數的實現中不能直接引用類中說明的非靜態成員,可以引用類中說明的靜態成員。如果靜態成員函數中要引用非靜態成員時,可通過對象來引用。


下面看一個例子:
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
}
};
void main( void )
{
Point pt;
pt.init();
pt.output();
}
這樣編譯是不會有任何錯誤的。
下面這樣看
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
}
};
void main( void )
{
Point::output();
}
這樣編譯會處錯,錯誤信息:illegal call of non-static member function,為什麼?


因為在沒有實例化一個類的具體對象時,類是沒有被分配內存空間的。
好的再看看下面的例子:
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
}
};
void main( void )
{
Point::init();
}
這時編譯就不會有錯誤,因為在類的定義時,它靜態數據和成員函數就有了它的內存區,它不屬於類的任何一個具體對象。
好的再看看下面的例子:
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
x = 0;
y = 0;
}
private:
int x;
int y;
};
void main( void )
{
Point::init();
}
編譯出錯:

illegal reference to data member ''Point::x'' in a static member function
illegal reference to data member ''Point::y'' in a static member function
在一個靜態成員函數里錯誤的引用了數據成員,
還是那個問題,靜態成員(函數),不屬於任何一個具體的對象,那麼在類的具體對象聲明之前就已經有了內存區,而現在非靜態數據成員還沒有分配內存空間,那麼這裡調用就錯誤了,就好像沒有聲明一個變量卻提前使用它一樣。
也就是說在靜態成員函數中不能引用非靜態的成員變量。/<iostream.h>/<iostream.h>/<iostream.h>/<iostream.h>

好的再看看下面的例子:
#include <iostream.h>
class Point
{
public:
void output()
{
x = 0;
y = 0;
init();
}
static void init()
{/<iostream.h>

}
private:
int x;
int y;
};
void main( void )
{
Point::init();
}
好的,這樣就不會有任何錯誤。這最終還是一個內存模型的問題,
任何變量在內存中有了自己的空間後,在其他地方才能被調用,否則就會出錯。


好的再看看下面的例子:
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
x = 0;
y = 0;
}
private:
static int x;
static int y;
};
void main( void )
{
Point::init();
}
編譯:
Linking...
test.obj : error LNK2001: unresolved external symbol "private: static int Point::y"
test.obj : error LNK2001: unresolved external symbol "private: static int Point::x"
Debug/Test.exe : fatal error LNK1120: 2 unresolved externals
執行 link.exe 時出錯.
可以看到編譯沒有錯誤,連接錯誤,這又是為什麼呢?
這是因為靜態的成員變量要進行初始化,可以這樣:
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
x = 0;
y = 0;
}
private:
static int x;
static int y;

};
int Point::x = 0;
int Point::y = 0;
void main( void )
{
Point::init();
}
在靜態成員數據變量初始化之後就不會出現編譯錯誤了。
再看看下面的代碼:
#include <iostream.h>
class Point
{
public:
void output()
{
}
static void init()
{
x = 0;
y = 0;
}
private:
static int x;
static int y;
};
void main( void )
{
}
編譯沒有錯誤,為什麼?
即使他們沒有初始化,因為我們沒有訪問x,y,所以編譯不會出錯。 /<iostream.h>/<iostream.h>/<iostream.h>

C++會區分兩種類型的成員函數:靜態成員函數和非靜態成員函數。這兩者之間的一個重大區別是,靜態成員函數不接受隱含的this自變量。所以,它就無法訪問自己類的非靜態成員。

在某些條件下,比如說在使用諸如pthread(它不支持類)此類的多線程庫時,就必須使用靜態的成員函數,因為其地址同C語言函數的地址兼容。這種銅限制就迫使程序員要利用各種解決辦法才能夠從靜態成員函數訪問到非靜態數據成員。

第一個解決辦法是聲明類的所有數據成員都是靜態的。運用這種方式的話,靜態的成員函數就能夠直接地訪問它們,例如:

class Singleton
{
public:
static Singleton * instance();
private:
Singleton * p;
static Lock lock;
};
Singleton * Singleton::instance()
{
lock.getlock(); // fine, lock is static
if (!p)
p=new Singleton;
lock.unlock();
return p;
}

這種解決方法不適用於需要使用非靜態數據成員的類。

訪問非靜態數據成員

將參照傳遞給需要考量的對象能夠讓靜態的成員函數訪問到對象的非靜態數據:

class A
{
public:
static void func(A & obj);
intgetval() const; //non-static member function
private:
intval;
};

靜態成員函數func()會使用參照obj來訪問非靜態成員val。

voidA::func(A & obj)
{
int n = obj.getval();
}

將一個參照或者指針作為靜態成員函數的自變量傳遞,就是在模仿自動傳遞非靜態成員函數里this自變量這一行為。

C++中Static作用和使用方法


分享到:


相關文章: