templates – 带有函数调用表达式的`decltype`何时需要定义函数

warning: inline function 'detail::selector<2,int>::select' is not defined [-Wundefined-inline]
    static constexpr auto select(T const&) -> std::integral_constant<int,Which>;
                          ^

note: used here
static_assert( decltype(Selector::select(int()))::value == 2,"");
                                  ^

在下面的代码中.

是不是在这里定义了有害的功能？ (我坚信,在我的应用程序中并不重要,因为它在未评估的上下文中使用,在std :: enable_if中).

现在,我想知道编译器何时会发出警告.

#include <type_traits>

namespace detail {

    template <int Which,typename...> struct selector;

    template <int Which>
    struct selector<Which> {
        static constexpr void select();  // never select
    };

    template <int Which,typename T,typename... Ts>
    struct selector<Which,T,Ts...> : selector<Which+1,Ts...>
    {
        using selector<Which+1,Ts...>::select;
        static constexpr auto select(T const&) -> std::integral_constant<int,Which>;
    };
}

int main(int argc,const char * argv[])
{
    using Selector = detail::selector<0,char,short,int>;
    static_assert( decltype(Selector::select(int()))::value == 2,"");    
    return 0;
}

编辑：

笔记：

> ideone.com上的gcc-4.8.1不会发出警告.
>摆脱警告的最简单方法是提供一种实现,例如：

static constexpr auto select(T const&) 
-> std::integral_constant<int,Which> 
{ return {}; }

(谢谢@Yakk)

解：

正如@Filip Roséen提供的答案中所解释的那样,constexpr说明符将隐式声明该函数内联,这需要在评估时定义.但是我的代码中没有使用该函数 – 但是仍然会发出警告(表示编译器中的一个小问题).当省略constexpr说明符时,clang将不再发出此警告.无论如何,constexpr说明符似乎不合适(谢谢@Yakk).