Есть шаблонная функция template <typename T> auto func(T&& t) -> make_u<T> {

Question

Есть шаблонная функция template <typename T> auto func(T&& t) -> make_u<T> {

return std::forward<T>(t);
}

Метафункция make_u преобразует тип T в U, неважно как. Для всех нужных T находится правильный U.
Эта функция косвенно используется в другом месте для вычисления типа в другой функции. Она инстанцируется типом V. У типа V есть операция преобразования в make_u<V> без тела (только объявление).
Теперь к сути. Я точно знаю, что инстанция func с V нужна только для меты, ее тело не нужно, вызов func<V> есть только в unevaluated контексте. Гцц этого не понимает и фэйлит линковку, кланг понимает. Что делать с гцц?

#c++ #embedded #programming #russian

0

17.05.2020

1 ответов

12 просмотров

Artöm Bakri Al-Sarmini · Answer 1

Artöm Bakri Al-Sarmini Автор вопроса

Решил проблему - повезло, что в том коде можно не инстанцировать func. Правда нужно переходить на 17, где есть if constexpr, или писать обертку для функтора с перегруженным operator(). Ну, лучше, чем ничего

0

17.05.2020

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

Есть шаблонная функция template <typename T> auto func(T&& t) -> make_u<T> {

1 ответов

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