Почему не получается вывести тип шаблона?

Question

[Dyikot]

Есть следующий метод:

template<typename TOwner, typename T, typename TInput = T>
void SetProperty(BindableProperty<TOwner, T, TInput>& property, T& field, TInput value)
{
	// code
}

Если не указывать третий параметр при инициализации BindableProperty, то все ок, но есть переопределить третий, то нет. Приходится указывать явно.

Инициализация:

static inline BindableProperty<UIElement, std::reference_wrapper<const Cursor>, const Cursor&> CursorProperty =
	BindableProperty<UIElement, std::reference_wrapper<const Cursor>, const Cursor&>(&SetCursor, Cursors::Arrow);

И вот тут ошибка E0304:

void SetCursor(const Cursor& value) { SetProperty(CursorProperty, _cursor, value); } // E0304
const Cursor& GetCursor() const { return _cursor; }

Comments

[Wataru]

Полный текст ошибки содержит очень много полезной информации. Там обычно английским текстом прямо сказано. что не так.

[Dyikot]

Wataru, No instance of function template "Sgl::UIElement::SetProperty" matches the argument list. Argument types are: (Sgl::BindableProperty, const Sgl::Cursor &>, std::reference_wrapper, const Sgl::Cursor). Не ясно. Все правильно передаю.

[Dyikot]

Wataru,
Вот после билда такая еще ошибка. Почему TInput is ambiguous не знаю. Типо он принимает 'const Cursor' вместо 'const Cursor&'?

[Wataru]

Dyikot, ссыльность конфликтует.
С одной стороны от cursorProperty TInput получается const&. С другой стороны, третий параметр в функцию передается по значению. Так что TInput не может быть ссылкой.

Попробуйте в определении шаблона добавить std::remove_reference вокруг TInput в аргументе в определении шаблона.

[Wataru]

Dyikot, или можно перед первым TInput добавить &. Или перед обоими tInput и в Cursor Property не ставить & в шаблоне перед Cursor.

[Dyikot]

Wataru,

template<typename TOwner, typename T, typename TInput = T>
void SetProperty(BindableProperty<TOwner, T, TInput>& property, T& field, TInput& value)

Так? Не помогло. Я не могу не ставить ссылку у курсора т.е не не может быть копирован.

[Dyikot]

Wataru, std::remove_reference_t<TInput> value так? или нет. не рабоает

[Wataru]

template<typename TOwner, typename T, typename TInput = T>
void SetProperty(BindableProperty<TOwner, T&, const TInput&>& property, T& field, const TInput& value)

не работает?

[Dyikot]

Wataru, заработало, но теперь в другом месте не рабоает где нет ссылок.

[Wataru]

Dyikot,

std::remove_reference_t value так? или нет. не рабоает

SetProperty(...,const typename std::remove_reference<T>::type& value)

должно работать.

[Dyikot]

Wataru, Работает! Хотя не особо понял почему.

[Dyikot]

Wataru, Здравствуй. Я тут решил изменить класс BindableProperty, но это мало чего поменяло и все еще требуется std::remove_reference... Эти шаблоны не понять.

template<typename TOwner, typename TField, typename TValue>
void SetProperty(BindableProperty<TOwner, TValue>& property, TField& field, TValue value)
{
	// code
}

[Wataru]

Dyikot, Надо больше кода. Не понятна проблема.

[Dyikot]

Wataru,

void SetCursor(const Cursor& value)
{
	SetProperty(CursorProperty, _cursor, value); 
}
static inline BindableProperty<UIElement, const Cursor&> CursorProperty =
	BindableProperty<UIElement, const Cursor&>(&SetCursor);

Почему компилятор не может полностью перести тип который я указал в шаблоне "const Cursor&", почему он теряет ссылку по пути... И из-за это приходится опять делать так:

template<typename TOwner, typename TField, typename TValue>
void SetProperty(BindableProperty<TOwner, TValue>& property, TField& field, 
				 const std::remove_reference_t<TValue>& value)
{
	// code
}

[Wataru]

Все та же проблема. Из первого аругмента BindableProperty<UIElement, const Cursor&> получается, что TValue = const Cursor&. Но, если в третьем аргументе у вас в шаблоне TValue value, а вы туда передаете, пусть даже полученное по ссылке, Cursor value, то получается TValue = Cursor. Это разные типы.

Сделайте 2 шаблона: BuildableProperty и BuildablePropertyHeavy, в обоих в качестве аргумента шаблона задавайте просто тип, без модификаторов. Но во втором испольуйте TValue& вместо TValue, если вы не хотите remove_reference использовать.

[Dyikot]

Wataru, Я думаю не парится и заменить тип аргумента с const Cursor& на std::reference_wrapper. Или оставить с std::remove_reference_t.

[Dyikot]

Wataru, Я сделал еще проще:

template<typename TOwner, typename TField, typename TValue>
void SetProperty(BindableProperty<TOwner, TValue>& property, TField& field, 
				 BindableProperty<TOwner, TValue>::Value value)
{
	// code
}

Конечно громозко выглядит...

Answer 1

[Wataru]

Проблема в том, что TInput с одной стороны выводится из первого аргумента, там у вас BuildableProperty<...,...,const Cursor&> согласно определению CursorProperty.

Но третий аргумент выводит TInput как просто Cursor, потому что это аргумент функции, а там передача по ссылке, даже в шаблонах, должна быть указана явно. Cursor != Cursor&, это разные типы.

Один из способов это починить - в объявлении SetProperty:

SetProperty(..., typename std::remove_reference<TInput>::type value)

Теперь, даже если в первом аргументе в BuildProperty используются ссылки, они не будут мешать в третьем аргументе.

Но вообще, по уму вам бы ваш шаблон BuildableProperty пофиксить. Вот у вас для каких-то случаев надо в нем ссылки использовать. Так может ссылки имеет смысл использовать всегда? Тогда вы в шаблоне BuildableProperty предполагайте что T, TInput - это просто типы, без ссыльности и константности, и внутри где надо расставьте &.

Не надо для каких-то случаев "передавать" в шаблон ссылки на какие-то типы.

Comments

[Dyikot]

*BindableProperty. Просто думаю для простых типов ссылки использывать перебор.