代码:
#include <iostream>
#include <cstddef>
#include <type_traits>
template <class T,T (*g)(),bool (*s)(T),class NP = std::nullptr_t,class dummy = void> struct pfun;
template <class T,T (*g)(),bool (*s)(T)>
struct pfun<T,g,s,std::nullptr_t,typename std::enable_if<g != nullptr && (std::is_const<T>::value || s == nullptr)>::type>
{
pfun() {std::cout << "class pfun<T,g,s,std::nullptr_t,typename std::enable_if<g != nullptr && (std::is_const<T>::value || s == nullptr)>::type>\n";}
};
template <class T,T (*g)(),bool (*s)(T),class NP>
struct pfun<T,g,s,NP,typename std::enable_if<g == nullptr && s != nullptr>::type>
{
pfun() {std::cout << "class pfun<T,g,s,NP,typename std::enable_if<g == nullptr && s != nullptr>::type>";}
};
template <class T,T (*g)(),bool (*s)(T),class NP>
struct pfun<T,g,s,NP,typename std::enable_if<g != nullptr && s != nullptr>::type>
{
pfun() {std::cout << "class pfun<T,g,s,NP,typename std::enable_if<g != nullptr && s != nullptr>::type>";}
};
template <class T,T (*g)(),bool (*s)(T)>
struct pfun<T,g,s,std::nullptr_t,typename std::enable_if<g == nullptr && s != nullptr>::type>
{
pfun() {std::cout << "class pfun<T,g,s,std::nullptr_t,typename std::enable_if<g == nullptr && s != nullptr>::type>";}
};
template <class T,T (*g)(),bool (*s)(T)>
struct pfun<T,g,s,std::nullptr_t,typename std::enable_if<g != nullptr && s != nullptr>::type>
{
pfun() {std::cout << "class pfun<T,g,s,std::nullptr_t,typename std::enable_if<g != nullptr && s != nullptr>::type>";}
};
char const gl_r_const_ch('c');
char const gl_fun_r_read_const_ch() { return gl_r_const_ch; }
pfun<char const,&gl_fun_r_read_const_ch,nullptr> pf_read_const_ch;
int main() { return 0; }
在 C++14 级别编译时,gcc-10.2、clang-linux-11.0、VC++-14.2 和 VC++-14.2 预览版编译/链接没有问题。但是在C++17级别编译时,虽然gcc-10.2仍然编译代码没有任何问题,但clang、VC++和VC++预览都给出编译错误。
对于 clang,结果是:
test_pmf.cpp:39:50: error: implicit instantiation of undefined template 'pfun<const char, &gl_fun_r_read_const_ch, nullptr, nullptr_t, void>'
pfun<char const,&gl_fun_r_read_const_ch,nullptr> pf_read_const_ch;
^
test_pmf.cpp:5:95: note: template is declared here
template <class T,T (*g)(),bool (*s)(T),class NP = std::nullptr_t,class dummy = void> struct pfun;
对于 VC++14.2,VC++14.2 预览的结果是:
test_pmf.cpp
test_pmf.cpp(39): error C2079: 'pf_read_const_ch' uses undefined struct 'pfun<const char,gl_fun_r_read_const_ch,0x0,std::nullptr_t,void>'
该代码对我来说似乎很好,但也许有人知道 C++17 的一些细微差别,这会导致 clang 和 VC++ 拒绝 C++17 中的代码,即使 gcc 认为它是正确的。有谁知道这里谁是正确的以及为什么代码不能在 C++17 中编译?