C++的預處理(Preprocess)


  C++的預處理(Preprocess),是指在C++程序源代碼被編譯之前,由預處理器(Preprocessor)對C++程序源代碼進行的處理。這個過程並不對程序的源代碼進行解析,但它把源代分割或處理成為特定的符號用來支持宏調調用。

常用的C++預處理

1)常用的預處理:

  #include 包含頭文件
  #if 條件
  #else 否則
  #elif 否則如果
  #endif 結束條件
  #ifdef 或 #if defined 如果定義了一個符號, 就執行操作
  #ifndef 或 #if !defined 如果沒有定義一個符號,就指執行操作
  #define 定義一個符號
  #undef 刪除一個符號
  #line 重新定義當前行號和文件名
  #error 輸出編譯錯誤 消息, 停止編譯
  #pragma 提供 機器專用的特性,同時保證與C++的完全兼容

2)#include 在 程序中包含頭文件

  頭文件通常以.h結尾,其 內容可使用#include預處理器指令包含到 程序中頭文件中一般包含: 函數原型 與 全局變量

  形式常有下面兩種

  #include <iostream>
  #include "myheader.h"

  前者<>用來引用標准庫頭文件,后者""常用來引用自定義的頭文件

  前者<>編譯器只搜索包含標准庫頭文件的默認 目錄,后者首先搜索正在編譯的源文件所在的 目錄,找不到時再搜索包含標准庫頭文件的默認 目錄.

  如果把頭文件放在其他 目錄下,為了查找到它,必須在雙引號中指定從源文件到頭文件的完整路徑

3)#define 定義符號、宏

  1>符號

  #define PI 3.1415925 定義符號PI為3.1415925
  #undef PI 取消PI的值
  這里PI看起來像一個變量,但它與變量沒有任何關系,它只是一個符號或標志,在 程序代碼編譯前,此符號會用一組指定的字符來代替
  3.14159265 不是一個數值,只是一個字符串,不會進行檢查
  在編譯前,預處理器會遍歷代碼,在它認為置換有意義的地方,用字符串PI的定義值(3.14159265)來代替
  在注釋或字符串中的PI不進行替換
  在C中常以#define來定義符號常量,但在C++中最好使用const 來定義常量
  #define PI 3.14159265
  const long double PI=3.14159265;
  兩者比較下,前者沒有類型的指定容易引起不必須的麻煩,而后者定義清楚,所以在C++中推薦使用const來定義常量
  #define 的缺點:
    1)不支持類型檢查
    2)不考慮作用域
    3)符號名不能限制在一個命名 空間中

  2>#undef 刪除#define定義的符號

  define PI 3.14159265
  ... //之間所有的PI都可以被替換為3.14159265
  #undef PI
  之后不再有PI這個標識符

  3>定義宏

  #define Print(Var) cout<<(Var)<<endl
  用宏名中的參數帶入語句中的參數
  宏后面沒有;號
  Print(Var)中的Print和(之間不能有空格,否則(就會被解釋為置換字符串的一部分
  #define Print(Var, digits) cout << setw(digits) << (Var) << endl
  調用
  Print(ival, 15)
  預處理器就會把它換成
  cout << setw(15) << (ival) << endl;
  所有的情況下都可以使用內聯函數來代替宏,這樣可以增強類型的檢查
  template<class T> inline void Print (const T& var, const int& digits)
  {
    cout<<setw(digits)<<var<<endl;
  }
  調用
  Print(ival, 15);
  使用宏時應注意的易引起的錯誤:
  #define max(x,y) x>y?x:y;+
  調用 result = max(myval, 99); 則換成 result = myval>99?myval:99; 這個沒有問題是正確的
  調用 result = max(myval++, 99); 則換成 result = myval++>99?myval++:99; 這樣如果myval>99那么myval就會遞增兩次,這種情況下()是沒什么用的如result=max((x),y)則 result = (myval++)>99?(myval++):99;
  再如
  #define product(m,n) m*n
  調用
  result = product(5+1,6);則替換為result = 5+1*6; 所以產生了錯誤的結果,此時應使用()把參數括起
  #define product(m,n) (m)*(n)
  則result = product(5+1,6);則替換為result = (5+1)*(6);

  結論: 一般用內聯函數來代替預處理器宏

  技巧:

  1)給替換變量加引號

  #define MYSTR "I love you"
  cout << MYSTR ; //I love you而不是"I love you"
  如果
  cout << "MYSTR" ; //則會輸出"MYSTR"而不是"I love you"
  可以這樣做
  cout << #MYSTR ; //則會輸出 "I love you"即cout << "\"I love you\"";

  2)在宏表達式中連接幾個參數

  如
  #define join(a,b) ab 這樣不會理解為參數a的值與參數b的值的連接,即如join(10,999)不會理解為10999而是把ab理解為字符串,即輸出ab
  這時可以
  #define join(a,b) a##b
  則join(10,999)就會輸出10999

  3)邏輯預處理器指令

  #if defined CALCAVERAGE 或 #ifdef CALCAVERAGE
  int count=sizeof(data)/sizeof(data[0]);
  for(int i=0; i<count; i++)
  average += data;
  average /= count;
  #endif
  如果已經定義符號CALCAVERAGE則把#if與#endif間的語句放在要編譯的源代碼內

  4)防止重復引入某些頭文件

  #ifndef COMPARE_H
  #define COMPARE_H 注意: 這里只是定義一個沒有值的符號COMPARE_H, 下面的namespace compare不是COMPARE_H的 內容,這里的定義不像是定義一個常量或宏,僅僅定義一個符號,指出此符號已定義,則就會有下面的 內容namespace compare{...
  namespace compare{
  double max(const double* data, int size);
  double min(const double* data, int size);
  }
  #endif
  比較
  #define VERSION \
  3
  因為有換行符\ 所以上句等價於 #define VERSION 3
  由此可以看出#define COMPARE_H與namespace compare是獨立沒有關系的兩個行
  也可以這樣用
  #if defined block1 && defined block2
  ...
  #endif
  #if CPU==PENTIUM4
  ...
  #endif
  #if LANGUAGE == ENGLISH
  #define Greeting "Good Morning."
  #elif LANGUAGE == GERMAN
  #define Greeting "Guten Tag."
  #elif LANGUAGE == FRENCH
  #define Greeting "Bonjour."
  #else
  #define Greeting "Hi."
  #endif
  std::cout<<Greeting << std::endl;
  #if VERSION == 3
  ...
  #elif VERSION == 4
  ...
  #else
  ...
  #endif

  5)標准的預處理器宏

  __LINE__ 當前源文件中的代碼行號,十進制整數
  __FILE__ 源文件的名稱,字符串字面量
  __DATE__ 源文件的處理日期,字符串字面量,格式mmm dd yyyy其中mmm是月份如Jan、Feb等 dd是01-31 yyyy是四位的年份
  __TIME__ 源文件的編譯 時間,也是字符串字面量格式是hh:mm:ss
  __STDC__ 這取決於實現方式,如果編譯器選項設置為編譯標准的C代碼,通常就定義它,否則就不定義它
  __cplusplus 在編譯C++ 程序時,它就定義為199711L
  使用#line可以修改__FILE__返回的字符串
  如
  #line 1000 把當前行號設置為1000
  #line 1000 "the program file" 修改__FILE__返回的字符串行號改為了1000,文件名改為了"the program file"
  #line __LINE__ "the program file" 修改__FILE__返回的字符串行號沒變,文件名改為了"the program file"
  cout << "program last complied at "<<__TIME__
  << " on " << __DATE__
  << endl;

  6)#error

  在預處理階段,如果出現了錯誤,則#error指令可以生成一個診斷 消息,並顯示為一個編譯錯誤,同時中止編譯
  #ifndef __cplusplus
  #error "Error - Should be C++"
  #endif

  7)#pragma

  專門用於實現預先定義好的選項,其結果在編譯器說明文檔中進行了詳細的解釋。編譯器未識別出來的#pragma指令都會被忽略

  8)assert()宏

  在標准庫頭文件<cassert>中聲明
  用於在 程序中 測試一個邏輯表達式,如果邏輯表達式為false, 則assert()會終止 程序,並顯示診斷 消息
  用於在條件不滿足就會出現重大錯誤,所以應確保后面的語句不應再繼續執行,所以它的應用非常靈活
  注意: assert不是錯誤處理 機制,邏輯表達式的結果不應產生負面效果,也不應超出 程序員的控制(如找開一個文件是否成功), 程序應提供適當的代碼來處理這種情況
  assert(expression);
  assert(expression) && assert(expression2);
  可以使用#define NDEBUG來關閉斷言 機制
  #include <iostream>
  #include <cassert>
  using std::cout;
  using std::endl;
  int main()
  {
    int x=0;
    int y=0;
    cout<<endl;
    for(x=0; x<20; x++)
    {
      cout<<"x= "<<x <<" y= "<<y<<endl;
      assert(x<y); //當x>=y與x==5時,就報錯,並終止 程序的執行
    }
    return 0;
  }

C++預處理指令

  一、預處理的由來:

    在C++的歷史發展中,有很多的語言特征(特別是語言的晦澀之處)來自於C語言,預處理就是其中的一個。C++從C語言那里把C語言預處理器繼承過來(C語言預處理器,被Bjarne博士簡稱為Cpp,不知道是不是C Program Preprocessor的簡稱)。

  二、常見的預處理功能:

    預處理器的主要作用就是把通過預處理的內建功能對一個資源進行等價替換,最常見的預處理有:文件包含,條件編譯、布局控制和宏替換4種。

    1,文件包含:#include 是一種最為常見的預處理,主要是做為文件的引用組合源程序正文。

    2,條件編譯:#if,#ifndef,#ifdef,#endif,#undef等也是比較常見的預處理,主要是進,行編譯時進行有選擇的挑選,注釋掉一些指定的代碼,以達到版本控制、防止對文件重復包含的功能。

    3,布局控制:#progma,這也是我們應用預處理的一個重要方面,主要功能是為編譯程序提供非常規的控制流信息。

    4,宏替換: #define,這是最常見的用法,它可以定義符號常量、函數功能、重新命名、字符串的拼接等各種功能。

  三、預處理指令

    預處理指令的格式如下:

  #directive tokens
  #符號應該是這一行的第一個非空字符,一般我們把它放在起始位置。如果指令一行放不下,可以通過\進行控制,例如:
  #define Error if(error) exit(1) 等價於
  #define Error \
  if(error) exit(1)
  不過我們為了美化起見,一般都不怎么這么用,更常見的方式如下:
  # ifdef __BORLANDC__
  if_true<(is_convertible<Value,named_template_param_base>::value)>::template then<make_named_arg, make_key_value>::type Make;
  # else
  enum { is_named = is_named_parameter<Value>::value };
  typedef typename if_true<(is_named)>::template
  then<make_named_arg, make_key_value>::type Make;
  # endif
  下面我們看一下常見的預處理指令:
  #define 宏定義
  #undef 未定義宏
  #include 文本包含
  #ifdef 如果宏被定義就進行編譯
  #ifndef 如果宏未被定義就進行編譯
  #endif 結束編譯塊的控制
  #if 非零就對代碼進行編譯
  #else 作為其他預處理的剩余選項進行編譯
  #elif 這是一種#else和#if的組合選項
  #line 改變當前的行數和文件名稱
  #error 輸出一個錯誤信息
  #pragma 為編譯程序提供非常規的控制流信息

  下面我們對這些預處理進行一一的說明,考慮到宏的重要性和繁瑣性,我們把它放到最后講。

  四、文件包含指令:

    這種預處理使用方式是最為常見的,平時我們編寫程序都會用到,最常見的用法是:

    #include <iostream> //標准庫頭文件
    #include <iostream.h> //舊式的標准庫頭文件
    #include "IO.h" //用戶自定義的頭文件
    #include "../file.h" //UNIX下的父目錄下的頭文件
    #include "/usr/local/file.h" //UNIX下的完整路徑
    #include "..\file.h" //Dos下的父目錄下的頭文件
    #include "\usr\local\file.h" //Dos下的完整路徑

    這里面有2個地方要注意:

    1、我們用<iostream>還是<iostream.h>?

    我們主張使用<iostream>,而不是<iostream.h>,為什么呢?我想你可能還記得我曾經給出過幾點理由,這里我大致的說一下:

    首先,.h格式的頭文件早在98年9月份就被標准委員會拋棄了,我們應該緊跟標准,以適合時代的發展。

    其次,iostream.h只支持窄字符集,iostream則支持窄/寬字符集。

    還有,標准對iostream作了很多的改動,接口和實現都有了變化。

    最后,iostream組件全部放入namespace std中,防止了名字污染。

    2、<io.h>和"io.h"的區別?

    其實他們唯一的區別就是搜索路徑不同:

    對於#include <io.h> ,編譯器從標准庫路徑開始搜索

    對於#include "io.h" ,編譯器從用戶的工作路徑開始搜索

  五、編譯控制指令:

    這些指令的主要目的是進行編譯時進行有選擇的挑選,注釋掉一些指定的代碼,以達到版本控制、防止對文件重復包含的功能。

    使用格式,如下:

  1、
  #ifdef identifier
  your code
  #endif
  如果identifier為一個定義了的符號,your code就會被編譯,否則剔除
  2、
  #ifndef identifier
  your code
  #endif
  如果identifier為一個未定義的符號,your code就會被編譯,否則剔除
  3、
  #if expression
  your code
  #endif
  如果expression非零,your code就會被編譯,否則剔除
  4、
  #ifdef identifier
  your code1
  #else
  your code2
  #endif
  如果identifier為一個定義了的符號,your code1就會被編譯,否則your code2就會被編譯
  5、
  #if expressin1
  your code1
  #elif expression2
  your code2
  #else
  your code3
  #enif
  如果epression1非零,就編譯your code1,否則,如果expression2非零,就編譯y
  our code2,否則,就編譯your code3

 

參考資料:

http://baike.baidu.com/view/2129177.htm?func=retitle


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM