我正在试验c 11的新功能，尤其是Constexpr。如果我想用模板编写pow，我会简单地这样做：

//pow
template<class T, std::size_t n>
struct helper_pow{
    inline static T pow(T const& a){
        return a*helper_pow<T,n-1>::pow(a);
    }
};

//final specialization pow 
template<class T>
struct helper_pow<T,0>{
    inline static T pow(T const& a){
        return 1;
    }
};

现在，如果我简单地通过以下方式将函数调用到代码中：

pow<double,5>(a) // where a is double

相应的程序集将是(gcc 4.8.0，-O2):

   movapd  %xmm0, %xmm1
    movsd   %xmm0, 24(%rsp)
    mulsd   %xmm0, %xmm1
    movq    %rbx, %rdi
    mulsd   %xmm0, %xmm1
    mulsd   %xmm0, %xmm1
    mulsd   %xmm0, %xmm1

好吧，代码是内联的。

如果知道我在找constexpr版本，我会

template <class T>
inline constexpr T pow(T const& x, std::size_t n){
    return n>0 ? x*pow(x,n-1):1;
} 

相应的程序集现在是:

    movsd   24(%rsp), %xmm2
    leaq    24(%rsp), %rdi
    movl    $4, %esi
    movsd   %xmm2, 8(%rsp)
    call    __Z3powIdET_RS0_m

其中函数__Z#powIdET_RS0_m似乎由下式定义

LCFI1:
    mulsd   %xmm1, %xmm0
    movapd  %xmm0, %xmm2
    mulsd   %xmm1, %xmm2
    mulsd   %xmm2, %xmm1
    movapd  %xmm1, %xmm0
    ret

那么你知道为什么使用Constexpr函数不内联并将其视为“外部”函数吗？是否存在一种强制Constexpr函数内联的方法？最好。