Question

我有一些代码使用msvc编译但不在gcc下编译。我想知道这是msvc的非标准功能还是gcc中的错误（或者更准确地说是MinGW的v5.0.3版本）

请考虑以下代码：

template <class T>
struct object_with_func_ptr {
    const T func; // An object to hold a const function pointer.
};

class foo {
public:
    void bar() {} // The function I want to point to.

    static constexpr auto get_bar() {
        return object_with_func_ptr<decltype(&bar)>{&bar}; // A constexpr to wrap a function pointer.
    }
};

template <class Func, Func Fn> struct template_using_func {};

int main() {
    constexpr auto bar_obj = foo::get_bar();
    // Note that this is a constexpr variable and compiles for gcc also if the template_using_func line is left out.
    constexpr auto bar_func_ptr = bar_obj.func;
    template_using_func<decltype(bar_func_ptr), bar_func_ptr>();
    return 0;
}

如果这是msvc的非标准功能，那么很高兴知道是否有其他方法可以实现我的目标。

修改这里是MinGW生成的编译器错误：

E:\CLion\ErrorExample\main.cpp: In function 'int main()':
E:\CLion\ErrorExample\main.cpp:21:61: error: 'bar_func_ptr' is not a valid template argument for type 'void (foo::* const)()'
template_using_func<decltype(bar_func_ptr), bar_func_ptr>();
                                                        ^
E:\CLion\ErrorExample\main.cpp:21:61: error: it must be a pointer-to-member of the form '&X::Y'
E:\CLion\ErrorExample\main.cpp:21:61: error: could not convert template argument 'bar_func_ptr' from 'void (foo::* const)()' to 'void (foo::* const)()'

编辑2： 将&bar更改为&foo::bar显然也会对clang进行编译（如注释中所述），所以我现在假设这是GCC中的错误。

Answer 1

在C ++ 17之前，该标准将非空指针到成员模板参数限制为 "a pointer to member expressed as described in [expr.unary.op]"。换句话说，这种论证必须以&A::B的确切形式表达。

C ++ 17放宽了这个约束以允许一般的常量表达式。看来这还没有在海湾合作委员会实施。

Answer 2

有一些明显的错误，例如&bar而不是&foo::bar。如果我们解决这些问题，Clang agrees with MSVC，并且当3个主要编译器中的2个达成一致并且它有意义时，我会选择具有感觉的多数。

我在gcc上测试时的错误是void (foo::* const)()' to 'void (foo::* const)()，这让我觉得这是一个错误。现在，它可能是来自某些值类别的非类型模板参数的一些模糊的要求，这些参数在这里不满意，但我希望有更清晰的错误消息。

除此之外，std::integral_constant can do a better job表示编译时函数指针而不是类，除非你真的希望运行时能力在指针指向的地方变换。

Constexpr函数指针作为模板参数MSVC vs GCC

2 个答案: