Início / coding / Perguntas / 79541432
Accepted
yorel
Asked: 2025-03-28 20:29:52 +0800 CST

Boost.TypeErasure `any` com um conceito retornando o mesmo `any`?

  • 772

Imagine um tipo de matriz, implementado como um B.TE any e uma série de structs representando matrizes ordinárias, etc. Ele tem um conjunto de operações, digamos, transpose, etc. transpose deve retornar uma matriz. Isso pode ser implementado em B.TE? Algo como:

BOOST_TYPE_ERASURE_FREE(transpose);

struct ordinary_matrix_impl {};

using matrix =
    any<mpl::vector<copy_constructible<>, has_transpose<matrix(_self&)>>>;

auto transpose(ordinary_matrix_impl&) {
  // ...
  return matrix(ordinary_matrix_impl(/*...*/));
}

Mas o uso matrix = ...não compila (erro: 'matrix' não foi declarado neste escopo).

Existe uma solução?

c++

2 respostas

  1. Parece que você está fazendo referência matrixà sua própria definição.

    Aqui está o que eu escreveria:

    Ao vivo em Coliru

    #include <boost/mpl/vector.hpp>
#include <boost/type_erasure/any.hpp>
#include <boost/type_erasure/constructible.hpp>
#include <boost/type_erasure/free.hpp>
#include <fmt/ranges.h>

struct ordinary_matrix_impl {
    // friend auto transpose(ordinary_matrix_impl/*const&*/ m) { return /*TODO*/ m; };
};

BOOST_TYPE_ERASURE_FREE(transpose)

namespace te  = boost::type_erasure;
namespace mpl = boost::mpl;
using matrix  = te::any<mpl::vector<te::copy_constructible<>, 
                        has_transpose<te::_self(te::_self const&)>>>;

auto transpose(ordinary_matrix_impl /*const&*/ m) { return m; /* TODO */ }

int main() {
    matrix a = ordinary_matrix_impl{};
    matrix b = transpose(a);
}
    • 0
  2. Best Answer

    Resolvido. Basta envolver o any em uma struct ( Compiler Explorer ):

    #include <boost/mpl/vector.hpp>
#include <boost/type_erasure/any.hpp>
#include <boost/type_erasure/free.hpp>
#include <iostream>

namespace mpl = boost::mpl;
using namespace boost::type_erasure;

BOOST_TYPE_ERASURE_FREE(transpose);

struct ordinary_matrix_impl {};
struct symmetric_matrix_impl {};

struct matrix {
    any<mpl::vector<copy_constructible<>, has_transpose<matrix(_self&)>>> impl;
};

auto transpose(matrix m) {
    return transpose(m.impl);
}

auto transpose(ordinary_matrix_impl& m) {
    std::cout << "make a new ordinary matrix\n";
    return matrix{ordinary_matrix_impl()};
}

auto transpose(symmetric_matrix_impl& m) {
    std::cout << "make a new diagonal matrix\n";
    return matrix{m};
}

auto main() -> int {
    {
        matrix m{ordinary_matrix_impl()};
        auto t = transpose(m);
    }

    {
        matrix m{symmetric_matrix_impl()};
        auto t = transpose(m);
    }

    return 0;
}
    • 0

relate perguntas