Здравствуйте, SaZ, Вы писали:


SaZ>Вопрос: как ещё можно положить результат вызова make_object() в поле класса?

"Лобовой" вариант, который первым приходит в голову — использование частичной специализации:

http://coliru.stacked-crooked.com/a/ecccd0e27f6939e9

#include <tuple>

//------
auto make_object()
{
    return std::make_tuple(1, 2.0, "3"); // Тут возвращается достаточно сложный тип, основанный на вариадиках, не суть
}

//------
template<auto>
struct storage;

template<typename R, R(*F)()>
struct storage<F>
{
    R _data{F()}; // Здесь default member initializer вместо определения default constructor
};

//------
// Здесь простой using-declaration вместо определения нового класса с наследованием
using object_storage = storage<make_object>;

int main()
{
    object_storage st;
}