Функция constexpr шаблона базового класса в производном классе и получила ошибку ⇐ C++

[Anonymous]

Код: Выделить всё

template 
struct A
{
template 
constexpr auto proc() noexcept { return C{ }; }
constexpr size_t size() noexcept { return sizeof...(Ts); }
};

template 
struct B : public A
{
using base_t = A;

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

template 
constexpr auto example_prog_0() noexcept
{
return example_prog_1();
}
};

int main()
{
B obj0 { };
constexpr size_t result0 = obj0.example_prog_0();
}

это не сработало.
Я получил ошибку C2131: выражение не получило константу.

Код: Выделить всё

    template 
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++ последняя версия)

Подробнее здесь: https://stackoverflow.com/questions/787 ... -got-error