C++ 17 如何特化 static function 模板在 ZA2F2ED4F8EBC2CBB4C21A29DC4 中的模板

Question

如何在 G++ 中執行此操作？

• 聲明一個 class 模板 ss。 [好的]
• 標記一個 static function 模板 f [ok]
• 如何專業化f？ [錯誤]

此代碼適用於 VC++。

#include<iostream>
#include<utility>
#include<typeinfo>

template<typename T> 
struct ss
{
    template<typename F>
    static constexpr auto f()
    {
        printf("template !\n");
    }

    template<>
    static constexpr auto f<int>()
    {
        printf("int !\n");
    }
};


int main(int argc, const char* argv[])
{
   return ss<int>::f<char>();
}

在線： https://godbolt.org/z/qGq6bP

source>:14:14: error: explicit specialization in non-namespace scope 'struct ss<T>'
   14 |     template<>
      |              ^
<source>:15:34: error: template-id 'f<int>' in declaration of primary template
   15 |     static constexpr auto f<int>()
      |                                  ^
<source>: In function 'int main(int, const char**)':
<source>:24:27: error: void value not ignored as it ought to be
   24 |    return ss<int>::f<char>();
      |           ~~~~~~~~~~~~~~~~^~
ASM generation compiler returned: 1
<source>:14:14: error: explicit specialization in non-namespace scope 'struct ss<T>'
   14 |     template<>
      |              ^
<source>:15:34: error: template-id 'f<int>' in declaration of primary template
   15 |     static constexpr auto f<int>()
      |                                  ^
<source>: In function 'int main(int, const char**)':
<source>:24:27: error: void value not ignored as it ought to be
   24 |    return ss<int>::f<char>();
      |           ~~~~~~~~~~~~~~~~^~
Execution build compiler 

Answer 1

這是 GCC 的問題。 根據CWG 727 ，應允許在任何 scope 中進行顯式特化，包括在 class scope 中。

可以在可以定義相應主模板的任何 scope 中聲明顯式特化（ N4868 .9.8.2.3 [namespace.memdef]、11.4 [class.mem]、13.7.3 [temp.mem]）。

要使其與 GCC 一起使用，您必須將顯式特化放在命名空間 scope 中，這意味着您必須同時顯式特化包含的 class 模板ss 。 或者您可以使用 function 模板助手，例如

template <typename F>
constexpr auto foo() 
{
    printf("template !\n");
}
template <>
constexpr auto foo<int>() 
{
    printf("int !\n");
}

template<typename T> 
struct ss
{
    template<typename F>
    static constexpr auto f()
    {
        return foo<F>();
    }

};