& quot; Невозможно преобразовать из ‘A’ в ‘B & amp;’

Question

& quot; Невозможно преобразовать из ‘A’ в ‘B & amp;’

Я строю систему Entity-Component, используя шаблонное метапрограммирование. Я продолжаю получать либо Cannot convert from [base type] to [type user requested]& или же Cannot convert NullComponent to [type user requested]& ошибки:

class Entity {
public:
Entity() = default;
~Entity() = default;

template<typename C, typename... Args>
void AddComponent(Args&&... args);

template<typename C>
C& GetComponent();

protected:
private:
//...add/get helper methods here...

unsigned int _id;
std::vector<std::unique_ptr<IComponent>> _components;
};

template<typename C>
C& Entity::GetComponent() {
for(auto c : _components) {
if(std::is_base_of<a2de::IComponent&, C&>().value && std::is_same<decltype(c), C&>().value) {
return *c; //<-- error here
}
}
return NullComponent(); //<-- and here
}

РЕДАКТИРОВАТЬ

Эти параметры, кажется, работают на данный момент.

template<typename C>
const C& Entity::GetComponent() const {
for(auto& uc : _components) {
auto* c = dynamic_cast<C*>(uc.get());
if(c && std::is_base_of<a2de::IComponent&, C&>().value && std::is_same<decltype(c), C&>().value) {
return *c;
}
}
throw std::runtime_error(std::string("Component not available."));
}

ИЛИ ЖЕ

class Entity {
public:
//same as before...
protected:
private:
//same as before...
a2de::NullComponent _null_component;
};

template<typename C>
const C& Entity::GetComponent() const {
for(auto& uc : _components) {
auto* c = dynamic_cast<C*>(uc.get());
if(c && std::is_base_of<a2de::IComponent&, C&>().value && std::is_same<decltype(c), C&>().value) {
return *c;
}
}
return _null_component;
}

-1

c++c++11 null-object-pattern templates

Решение

Другие решения

На высоком уровне, насколько я могу судить, тип возвращаемого значения не может быть использован для определения типа шаблона. Список параметров может использоваться для определения типа шаблона.

Так, например, это может сработать —

template<typename C>
void Entity::GetComponent(C *obj) {
for(auto c : _components) {
if(std::is_base_of<a2de::IComponent&, C&>().value && std::is_same<decltype(c), C&>().value) {
obj = c; //<-- error here
return;
}
}
obj = NULL;
return; //<-- and here
}

Надеюсь это поможет.

0

Источник

Accepted Answer

Как минимум три вещи:

В GetComponent() вы перебираете unique_ptr элементы и сравнить их тип (всегда std::unique_ptr<IComponent>) с чем-то еще в std::is_same, Вы, вероятно, не хотите этого.
Вы возвращаете ссылку на временное окончательное возвращение, кажется.
return *c нужен dynamic_cast, если только C == IComponent.

РЕДАКТИРОВАТЬ

Также:

std::is_base_of не имеет смысла со ссылками. Даже с class NullComponent : IComponent {};, ты все равно получишь std::is_base_of<IComponent&, NullComponent&>::value == false,
И вы не проверяете на nullptr

В конце концов, мне кажется, что вы должны заменить цикл for на

for(auto& component : _components) {
auto* c = dynamic_cast<C*>(component.get());
if (c)
{
return *c;
}
}

2