主页 / coding / 问题 / 78710983
Accepted
WsabiWafer
Asked: 2024-07-05 18:37:27 +0800 CST

派生类中的基类模板 constexpr 函数出现错误

  • 772
template <typename... Ts>
struct A
{
    template <typename C>
    constexpr auto proc() noexcept { return C{ }; }
    constexpr size_t size() noexcept { return sizeof...(Ts); }
};

template <typename... Ts>
struct B : public A<Ts...>
{
    using base_t = A<Ts...>;

    template <typename... Cs>
    constexpr auto example_prog_1() noexcept
    {
        constexpr size_t tmp = base_t::size();
        // error C2131 : its not constexpr
        return tmp + sizeof...(Cs);
    }

    template <typename... Cs>
    constexpr auto example_prog_0() noexcept
    {
        return example_prog_1<decltype(base_t::template proc<Cs>())...>();
    }
};

int main()
{
    B<int, int, int, int> obj0 { };
    constexpr size_t result0 = obj0.example_prog_0<char, char, char, char>();
}

这不起作用。我收到错误 C2131：表达式未计算为常量。

    template <typename... Cs>
    constexpr auto example_prog_1() noexcept
    {
        B dup{ };
        constexpr size_t tmp = dup.size();
        // error none  : its fine
        return tmp + sizeof...(Cs);
    }

但进行复制就好了。

当添加“此自动自我”并使用它时它也能工作。

有人能告诉我为什么吗？(msvc /std:c++latest)

c++

1 个回答

  1. Best Answer

    base_t::size()是this->base_t::size()。

    不允许在常量表达式中取消引用在常量表达式之外创建的指针（或可在常量表达式中使用）。否则就是“读取指针的值”，而编译器在编译时并不知道这一点。

    这是P2280R4之前的措辞，MSVC 并未实现。那篇论文和这个问题 (为什么 constexpr 函数中的引用参数不是常量表达式？ ) 的答案更详细地解释了为什么之前会发生这种情况。

    当您拥有不是指针或引用的东西（例如，按值this auto self或B dup {};）时，这不再适用。这是一个调用成员函数的常量表达式，因为您不访问该对象。

    最简单的解决方案是制作size函数static。您的许多功能都可以static。

    • 5

相关问题