關於尾調用消除

看《Lua程序設計》中關於尾調用的章節，Lua是支持尾調用消除的，但需要明確的return func(args)形式的調用，例如：

local s=0
--不是尾調用
function add(n)
	s = s + n
	if n>0 then
		add(n-1)
	end
end
--是尾調用
function add2(n)
	s = s + n
	if n>0 then
		return add2(n-1)
	end
end
--是尾調用
function add3(n, s)
	s = s or 0
	if n>0 then
		return add3(n-1, s + n)
	else
		return s + n
	end
end
--不是尾調用
function add4(n)
	if n>0 then
		return n + add4(n-1)
	else
		return 0
	end
end

local n = 999999
print(add3(n))

那麼在c++中又如何呢：

long add(long n)
{
	if(n>0) return add(n-1) + n;
	return 0;
	//或 return n>0?add(n-1)+n:0;
}

long sum = 0;
long add2(long n)
{
	sum += n;
	if(n>0) add2(n-1);
}

以上兩種方式，默認都不會進行尾調用消除，在O2、O3優化下都會進行尾調用消除。（gcc version 4.8.2 20140120下測試）
（gcc is so awesome）