VPF::ошибка при перегрузке функции

boostcoder

Дата 5.5.2011, 04:46 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

всем привет.

никак не могу понять, почему код ведет себя так?!

Код


#include <iostream>

#include <boost/fusion/container/vector.hpp>
#include <boost/fusion/include/vector.hpp>
#include <boost/fusion/container/vector/vector_fwd.hpp>
#include <boost/fusion/include/vector_fwd.hpp>
#include <boost/fusion/container/generation/make_vector.hpp>
#include <boost/fusion/include/make_vector.hpp>
#include <boost/fusion/sequence/io.hpp>
#include <boost/fusion/include/io.hpp>

template<typename Ar>
void func(Ar& ar, const boost::fusion::vector<>& v) {
   std::cout << v << std::endl;
}

template<typename Ar, typename T0, typename T1>
void func(Ar& ar, const boost::fusion::vector<T0, T1>& v) {
   std::cout << v << std::endl;
}

struct type {
   template<typename T>
   type& operator& (const T& v) {
      func(*this, v);
      return *this;
   }
};

int main() {
   type t;
   t & boost::fusion::make_vector(33,44); // 1. <<<<<<<<<<<<<<<<<<<<<<<<
   
   boost::fusion::vector<int, int> v(55,66); // 2.
   t & v;
}

http://liveworkspace.org/code/e17deefa73e4...f44b26d2bc05ea9

вопрос в том, почему в первом случае вызывается func() для пустого вектора?

дока по теме:
boost::fusion::vector
boost::fusion::make_vector()

спасибо.

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

mes

Дата 5.5.2011, 20:20 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(boostcoder @ 5.5.2011, 03:46

)

, почему в первом случае вызывается func() для пустого вектора?

потому что результат make_vector<..> не есть vector<..> smile

Добавлено через 2 минуты и 12 секунд
решение в лоб :
http://liveworkspace.org/code/23f157665e86...369fc8d313fe4f8

--------------------

http://opendots.net

boostcoder

Дата 5.5.2011, 21:14 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(mes @ 5.5.2011, 20:20

)

потому что результат make_vector<..> не есть vector<..>

не понял что Вы хотели сказать..
результат make_vector() - variadic vector.
т.е. make_vector() всегда возвращает тип boost::fusion::vector<boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, N...>, т.е. вектор константного размера. только типы слева подставляет те, которые переданы аргументами в make_vector().
а это не совсем boost::fusion::vectorN<>

Цитата(mes @ 5.5.2011, 20:20

)

решение в лоб

так и сделал..

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

mes

Дата 5.5.2011, 22:34 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(boostcoder @ 5.5.2011, 20:14

)

результат make_vector() - variadic vector.
т.е. make_vector() всегда возвращает тип boost::fusion::vector<boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, N...>,

Цитата(http://www.boost.org/doc/libs/1_46_0/boost/fusion/container/generation/make_vector.hpp)

    inline vector0<>
    make_vector()
    {
        return vector0<>();
    }
    ...
    template <BOOST_PP_ENUM_PARAMS(N, typename T)>
    inline BOOST_PP_CAT(vector, N)<BOOST_PP_ENUM(N, BOOST_FUSION_AS_FUSION_ELEMENT, _)>
    make_vector(BOOST_PP_ENUM_BINARY_PARAMS(N, T, const& _))
    {
        return BOOST_PP_CAT(vector, N)<BOOST_PP_ENUM(N, BOOST_FUSION_AS_FUSION_ELEMENT, _)>(
            BOOST_PP_ENUM_PARAMS(N, _));
    }

и кому мне верить ? boost'у или boostcoder'у ? smile

Цитата(boostcoder @ 5.5.2011, 20:14

)

не понял что Вы хотели сказать..

грубо: та техника (привет SFINAE), которую Вы использовали, требует "точного совпадения" при выискивании кандидата..

для сравнения func и Func из http://liveworkspace.org/code/198cbe17f21c...bf8d00f191b7269
Func спокойно принимает и vector и vector_n, так как у vector есть конструктор принимающий vector_n..

Это сообщение отредактировал(а) mes - 5.5.2011, 22:47

--------------------

http://opendots.net

boostcoder

Дата 5.5.2011, 22:53 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

mes, значит я что-то напутал..
http://liveworkspace.org/code/7f7d33d49f91...c0efe9705d5369b

и в правду не вариадик..

просто я вчера насмотрелся на сообщение об ошибке. и там мне компилятор показывал вектор полный void_

ну сорри.. ни хотел никого вводить в заблуждение smile

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

mes

Дата 5.5.2011, 22:57 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(boostcoder @ 5.5.2011, 21:53

)

просто я вчера насмотрелся на сообщение об ошибке. и там мне компилятор показывал вектор полный void_

не знаю куда Вы смотрели, но при первом ответе, я сделал вывод о возвращении vector_n, именно по сообщению об ошибке smile

Добавлено через 35 секунд
так что винить компилятор в сокрытии причины, думаю, не стоит smile

--------------------

http://opendots.net

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »