#include <stdio.h>

template < class ValueT, ValueT min, ValueT max, template<class R> class RangeChecker >
class RangeValue
{
        ValueT value_;
public:
        RangeValue( const ValueT &val )
                :value_(val)
                {
                        RangeChecker<ValueT>(min,max).check( val );
                }

        ValueT getValue() const { return value_; }
};

template <class T>
class Checker
{
        T min_, max_;

public:
        Checker( const T &min, const T &max )
                :min_(min), max_(max)
                {}

        void check( const T &val ) const 
                {
                        if ( val<min_ || val>max_ ) 
                                throw val;

                }
        
};

template <class T>
class NoChecker
{

public:
        NoChecker( const T &min, const T &max )
                {}

        void check( const T &val ) const 
                {
                }
};

typedef RangeValue<int,0,3,Checker> RangeInt_0_3;
typedef RangeValue<int,9,10,Checker> RangeInt_9_10;

RangeInt_9_10 foo( const RangeInt_0_3 &i )
{
        printf("foo: %d\n",i.getValue());
        return 11;
}

int main()
{
        try {
                foo( 3 );
//              foo( 4 );
        } catch (int i) {
                printf("%d\n", i);
        }

        return 0;
}

typedef template<int min, int max> RangeValue<int,min,max,Checker> RangeInt;

void foo(RangeInt<0,3> num){}

int t1, t2;

int t0, t1;

extern "C" void check() throw(); // わかりやすいように

void bar()
{
        throw "test";
}

void foo()
{
        check();
        try {
                bar();
        } catch ( const char *mes ) {
                check();
        }
}

_Z3barv:
.LFB3:
        # basic block 0
.L2:
        pushl        %ebp
.LCFI0:
        movl        %esp, %ebp
.LCFI1:
        subl        $24, %esp
.LCFI2:
        movl        $4, (%esp)
        call        __cxa_allocate_exception
        movl        $.LC0, (%eax)
        movl        $0, 8(%esp)
        movl        $_ZTIPKc, 4(%esp)
        movl        %eax, (%esp)
        call        __cxa_throw
.LFE3:
        .size        _Z3barv, .-_Z3barv
.globl _Unwind_Resume
        .align 2
        .p2align 4,,15
.globl _Z3foov
        .type        _Z3foov, @function
;****************************************
_Z3foov:
.LFB5:
        # basic block 0
        pushl        %ebp
.LCFI3:
        movl        %esp, %ebp
.LCFI4:
        subl        $24, %esp
.LCFI5:
        call        check
.LEHB0:
        call        _Z3barv
.LEHE0:
.L4:
        # basic block 1
        movl        %ebp, %esp
        popl        %ebp
        ret
;****************************************
        .p2align 4,,7
.L10:
        # basic block 2
        decl        %edx
        je        .L6
        # basic block 3
        movl        %eax, (%esp)
.LEHB1:
        call        _Unwind_Resume
.LEHE1:
.L6:
        # basic block 4
.L7:
        movl        %eax, (%esp)
        call        __cxa_begin_catch
        call        check
        call        __cxa_end_catch
        jmp        .L4

	.section	.gcc_except_table,"a",@progbits
	.align 4
.LLSDA5:
	.byte	0xff	# @LPStart format (omit)
	.byte	0x0	# @TType format (absolute)
	.uleb128 .LLSDATT5-.LLSDATTD5	# @TType base offset
.LLSDATTD5:
	.byte	0x1	# call-site format (uleb128)
	.uleb128 .LLSDACSE5-.LLSDACSB5	# Call-site table length
.LLSDACSB5:
	.uleb128 .LEHB0-.LFB5	# region 0 start
	.uleb128 .LEHE0-.LEHB0	# length
	.uleb128 .L10-.LFB5	# landing pad
	.uleb128 0x1	# action
	.uleb128 .LEHB1-.LFB5	# region 1 start

• GCCがバイナリデータ弄る時はdwarf2ていうのを使ってる。
• で、それは dwarf2xxx.c ていうソース見たら若干説明載ってる。
• 例外に関するコードはC++専用のではなく、どの言語からも使えるみたい。
• gcc に -dA って付けたら生成されるアセンブラに色々コメントが付く。

class Nanika {
	int add( int i0, int i1 ) {
		int l0 = i0+i1;
		return l0;
	}

	void foo() {
		add( 1, 2 );
	}
}

add:
	pushl   %ebp
	movl    %esp, %ebp       # フレームポインタ設定
	subl    $4, %esp         # 変数一つ分スタックを確保
	movl    -12(%ebp), %eax  # 第二引数(i0)
	addl	-8(%ebp), %eax   # 第三引数(i1)を足す
	movl	%eax, (%ebp)     # %ebp[0]が第一ローカル変数(l0)
	movl	(%ebp), %eax     # 戻り値
	addl	$4, %esp
	popl    %ebp             # ebp の値を戻す
	ret

foo:
	pushl   this
	pushl   $1
	pushl   $2
	call	add
	ret

add:
	iload_1                  # 第二ローカル変数をpush
	iload_2	                 # 第三ローカル変数をpush
	iadd                     # 二回pop → 加算 → 結果をpush
	istore_3                 # popしてその値を第四ローカル変数に格納
	iload_3                  # 第四ローカル変数の値をpush
        ireturn                  # スタックの先頭を戻り値としてリターン

foo:
	iload_0                  # this を push
	iconst_1                 # 1 を push
	iconst_2                 # 2 を push
	invokevirtual            # add 呼び出し
	return

$ touch configure.in
$ autoconf

AC_INIT

AC_INIT
AC_OUTPUT

@FOO@

AC_INIT

FOO=眠い
AC_SUBST(FOO)

AC_OUTPUT( foo )

CC=@CC@

if test -z $CC    dnl CCが特に決まってなければ
then
	CC= gcc
fi
AC_SUBST(CC)

AC_PROG_CC

AC_CONFIG_HEADERS(config.h)

AC_CHECK_HEADERS(unistd.h sys/types.h)
AC_CHECK_FUNCS(dup2 ipc)

$ autoheader
$ autoconf

dnl * AC_PATH_XTRA
dnl 
dnl    Xlib のヘッダとかライブラリのある場所を調べて、
dnl   それぞれ X_CFLAGS X_LIBS に結果を入れといてくれる
dnl

AC_PATH_XTRA

LIBS="$LIBS $X_LIBS -lX11 -lXext"
AC_CHECK_FUNC( XShmQueryVersion )

#include <stdio.h>
#include <asm/msr.h>

#include <unistd.h>
#include <fcntl.h>

#define LEN (1024*1024)
#define FNAME (argv[1])

int main( int argc, char **argv )
{
	volatile unsigned int before, after;
	int i;
	char a;

	FILE *f = fopen( FNAME, "r");
	int fd;

	fd = open( FNAME, O_RDONLY );

	rdtscll(before);
	for ( i=0; i<LEN; i++ ) {
		read( fd, &a, 1 );
	}
	rdtscll(after);

	printf("read: %u\n", after-before);
	
	rdtscll(before);
	for ( i=0; i<LEN; i++ ) {
		getc( f );
	}
	rdtscll(after);

	printf("getc: %u\n", after-before);

	fclose( f );
	return 0;
	
}

read: 529828303
getc: 748101128

bin_PROGRAMS= sample
sample_SOURCES = sample.c

bin_PROGRAMS= foo bar

foo_SOURCES= foo1.c foo2.c
bar_SOURCES= bar1.c bar2.c bar3.c

dnl * AM_INIT_AUTOMAKE
dnl
dnl    AUTOMAKE初期化の為のマクロ
dnl    引数は
dnl         (パッケージの名前,バージョン)
dnl    で

AM_INIT_AUTOMAKE(sample,0.0.1)

dnl * AM_CONFIG_HEADER
dnl
dnl    AC_CONFIG_HEADERではなくて、こっちを使わないといけない
dnl    やってることはAC_CONFIG_HEADERと同じだけど、
dnl    依存関係の為のタイムスタンプ残してるみたい

AM_CONFIG_HEADER(config.h)

AC_OUTPUT(Makefile)  dnl Makefile.in から Makefile を生成

$ aclocal
$ automake -a

$ automake
$ autoconf

最初からある

色々インストールしないでも動くしね。便利だよね。

あんまりバージョン上がらない

「IEしょっちゅうバージョン上がりすぎ」とかいうけど、mozillaに比べたら少ないしね。いいよね。

起動が速い

エクスプローラとコンポーネント色々共有してるしね。常に半分起動してるようなもんだしね。いいよね。

メモリ消費が少ない

上と同じ理由でね。mozillaは32MBな環境とかじゃ動かすの嫌だしね。

HTMLあいまい解釈が賢い

HTML大体合ってたら表示されるしね。
(でも最近mozillaでは見れないところってあんま聞かないような…)