Господа, вопрос на мильён struct BaseTag {}; namespace detail {

Question

Господа, вопрос на мильён struct BaseTag {}; namespace detail {

template<int>
struct DerivedTagImpl
{
struct Inner : BaseTag
{};
};
}

using DerivedTag = detail::DerivedTagImpl<0>;

void f(BaseTag&)
{
std::cout << "BaseTag" << std::endl;
}

template<int Index>
void f(typename detail::DerivedTagImpl<Index>::Inner& tag)
{
std::cout << "detail::DerivedTagImpl<>::Inner" << std::endl;
f(static_cast<BaseTag&>(tag));
}

DerivedTag::Inner obj;
f(obj);

Почему здесь в последней строке компилятор выбирает f(BaseTag&)?

(wandbox: https://wandbox.org/permlink/k9KfoeqP7v2ddZq6)

#c++ #embedded #programming #russian

0

21.02.2020

1 ответов

14 просмотров

Nikita Provotorov · Answer 1

Nikita Provotorov Автор вопроса

Поясню свою недоумение: я понимаю, что f(BaseTag&) более специализированная, однко для шаблонной версии f в данном случае не нужно делать никаких преобразований, т.е. она для параметра лучше подходит

0

21.02.2020

170 похожих чатов

Господа, вопрос на мильён struct BaseTag {}; namespace detail {

1 ответов

Похожие вопросы