是否可以使用自动占位符来推导非类型模板参数的函数结果？

Question

考虑一个简单的例子：

template <auto(*X)()>
struct Foo {
    decltype(X()) x;
};

int bar();

int main() {
    static_cast<void>(Foo<bar>{});
}

[gcc]和[clang]似乎都接受代码。代码真的与c++17兼容吗？如果是这样的话，是否还有其他规则使得下面的代码格式不正确？

template <class T, auto(*X)(T)>
struct Foo {
    decltype(X(0)) x;
};

int bar(int);

int main() {
    static_cast<void>(Foo<int, bar>{});
}

这个问题只会让[gcc]不高兴。

错误消息：

prog.cc: In function 'int main()':
prog.cc:9:35: error: unable to deduce 'auto (*)(T)' from 'bar'
     static_cast<void>(Foo<int, bar>{});
                                   ^
prog.cc:9:35: note:   mismatched types 'T' and 'int'

Answer 1

可以，auto可以用于inside a compound type ([temp.param]/4.6，[dcl.type.auto.deduct])。我相信在您的第二个示例中，gcc是错误的:在执行推导之前替换您显式指定的int的T (temp.deduct/2.3，/5和/6，由dcl.type.auto.deduct/2.3和/4引用)。