詭異的execv

昨天在寫Linux的系統程式時發現了一件很詭異的事....
那就是execv的prototype竟然是int execv( const char *path, char *const argv[]);

根據這篇的描述，char * const的意思是char的const指標，也就是說雖然有保護到指標，但是沒有保護到pointee的字元。
而且雖然非const轉型到const是合法的，但是反向操作很危險。
真想知道它這麼定的理由= =

如何讓你的程式更難理解(2)

#include <iostream>
#include <algorithm>
#include <vector>
#include <iterator>

#include <boost/lambda/lambda.hpp>

using namespace std;
using namespace boost::lambda;

int main( int argc, char * argv[] ) {
    vector< size_t > v;

    copy( istream_iterator< size_t >( cin ), istream_iterator< size_t >(), back_inserter( v ) );

    sort( v.begin(), v.end(), _1 > _2 );

    for_each( v.begin(), v.end(), cout << _1 << '\n' );

    return 0;
}

以上和以下同義：

#include <iostream>
#include <algorithm>
#include <vector>

using namespace std;

template< typename T > inline bool gt( T a, T b ) { return a > b; }

int main( int argc, char * argv[] ) {
    size_t temp;
    vector< size_t > v;

    while( cin >> temp ) {
        v.push_back( temp );
    }

    sort( v.begin(), v.end(), gt< size_t > );

    for( size_t i = 0; i < v.size(); ++i ) {
        cout << v[i] << '\n';
    }

    return 0;
}

簡單地說，先從輸入串流讀入一串數字存入陣列，再反序排序，最後全部印出來。
首先仔細地檢視我們要什麼。事實上輸入的動作只要從串流複製一份資料到陣列裡即可，因此使用algorithm的copy和iterator的功能就可以達成目的。
至於排序，預設是遞減排序，其他排法必須要另外再寫一個比較函式。因此這裡使用Boost的lambda函式來減少多餘的宣告。lambda function就是一個臨時的匿名函式，不少高階語言都有，但是C++目前的標準函式庫沒有；Boost是C++標準委員會所擴充的函式庫，基本上很有希望加入為新的標準。
最後是輸出；其實這裡用copy也可以，只是這樣就很難在項目之間插入空白或換行，因此使用algorithm的for_each加上lambda functor。

不要問我為什麼使用using namespace...這只是示範....

　

為什麼學程式語言要從C開始學?

因為指標可以刷掉不適合寫程式的人

By 學弟

Well, 這當然是玩笑話一句。

La Fonera花轟了

不知道為啥只要La fonera想移植就會卡到陰，昨天reset鍵按了五秒左右，就回到出廠值了。
詭異的是default gateway變成192.168.182.1，而且沒辦法由這個位址連線回去更改設定....
我應該找誰呢？（攤手）

災難啊....

我已經不知道從何說起了....在FreeBSD上搞了快十個小時的東西，在Debian上三秒解決；只能說我對FreeBSD不熟吧....寒假再去玩它。
總之感謝Zeroplex的友情贊助。

pkgdb rebuild

在FreeBSD上用

# pkgdb -F

時出現了要我重新整理的提示，google了一下發現這似乎是主幹的bug，在某個分支有修復的樣子。

# setenv PORTS_DBDRIVER bdb1_hash
# setenv PKG_DBDRIVER bdb1_hash

設定以上的環境變數就可以解決，問題似乎是出在btree的結構上，換成hash就解決了。

接下來就是愉快的portupgrade...不過還真他ＸＸ的久。

蠢事

星期六有人要我調整防火牆，但是新的規則一直加不進去，於是我想乾脆重來算了，下了指令：# iptables -F....然後才想起來我是用ssh登入....
這種蠢事跟學弟ssh回去下# ifdown eth0一樣白爛，但是更慘，因為小組專案的Subversion檔案庫在那台伺服器上....
因為過了下午五點，然後星期日沒人進得了機房，專案驗證停擺，連我的blog也受到影響= =^[?]

這個故事告訴我們，永遠不要用ssh玩網路！= =

pointer和cv修飾詞

大家可能都很習慣用類似const char *這種東西了，在傳遞C-style字串時經常會用到，用意是不要更改到字串內容。不過其實在多層指標時，因應const的位置，狀況還可以更複雜。

首先必需要有的概念是，const TYPE和TYPE const是等義的。
舉例：

const int a = 1;       // a的值永遠為1
int const b = 2;       // b的值永遠為2
const int const c = 3; // 編譯期錯誤，冗餘的cv修飾飼

第二個觀念是，cv修飾詞修飾的是它左邊的型別。
如果它本來就在最左邊，可以用上面的規則代換成TYPE const。
舉例：

int x = 4;
int y = 5;
const int * cip = &x;    // 指向const的指標
int const * icp = &x;    // 如前段所述，icp和cip其實是同一種型別
int * const ipc = &x;    // 因為const的左邊是pointer，故它其實是const指標

*cip += y;               // 失敗，因為指向的空間被修飾為const
*icp += y;               // 失敗，理由同上
*ipc += y;               // 正確，指向的空間並沒有被修飾為const

cip = &y;                // 正確，指標本身並不是const
icp = &y;                // 正確，理由同上
ipc = &y;                // 失敗，指標本身是const

當然也可以合起來宣告成int const * const icpc，這樣指標本身不能更改，其指向的空間也不能更動。

最後一個，在指標有多層的時候，解析是由右往左展開。這個比較複雜一點，一樣還是舉例比較快：

const char * const * argv;
const char * test = "Hello, world!";
const char * const temp[] = { "abc", NULL };

argv = temp;         // 正確，最右邊的*沒有cv修飾，因此最上層的argv可以更改為其他指標
argv[0] = test;      // 失敗，右邊第二個*有cv修飾，所以*argv的取值是不能更改的
argv[0][0] = 'd';    // 失敗，最後的char也加了const，是故陣列中的字元不能更改

以下是小應用：

int EXECVP_POSIX( const std::vector< std::string > & args ) {
    const char * * argv = new const char * [ args.size() + 1 ];
    for( size_t i = 0; i < args.size(); ++i ) {
        argv[i] = args[i].c_str();
    }
    argv[args.size()] = NULL;

    return execvp( argv[0], argv );
}

用意是把vector<string>轉為系統函式通用的const char * const *。

Edited: 2008/07/22
修正code。
事實上如這篇所述，POSIX的prototype是怪怪的。