ошибка обёртывания типа с boost :: mpl :: for_each (раздел 9.1.1 из книги Абрахамса и Гуртовой) - PullRequest
Новая
       35

ошибка обёртывания типа с boost :: mpl :: for_each (раздел 9.1.1 из книги Абрахамса и Гуртовой)

2 голосов
/ 27 сентября 2011

Следующий код почти дословно скопирован из раздела 9.1.1 книги «Метапрограммирование шаблонов на С ++: концепции, инструменты и методы из Boost and Beyond» Дэвида Абрахамса и Алексея Гуртового.

Единственное изменение состоит в том, что я хочу иметь возможность изменять шаблон оболочки типа из книги с помощью обычного Boost-шаблона mpl :: identity.Тем не менее, под Microsoft Visual C ++ Express 2010 (SP1) я получаю таинственное предупреждение компилятора, если я делаю это.

Кажется, это как-то связано с тем фактом, что шаблон оболочки типа имеет внутреннюю typedef с именем "type".Изменение этого typedef на «Type» (или просто удаление этой строки) заставит код работать правильно.У кого-нибудь есть объяснение этому странному поведению? 

#include <iostream>
#include <typeinfo>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/vector.hpp>

namespace mpl = boost::mpl;

// added a nested typedef named "type" is equivalent to mpl::identity
template <class T>
struct wrap 
{
    // changing type -> Type or removing this line 
    // makes the code compile and produce correct output!
    typedef T type; 
};

struct print_type
{
    template <class T>
    void operator() (wrap<T>) const
    {
        std::cout << typeid(T).name() << std::endl;
    }
};

class A
{
    A() {}  // private constructor
};

class B
{
    B() {}  // private constructor
};

typedef boost::mpl::vector<A,B> AB;

int main()
{
    boost::mpl::for_each<AB, wrap<mpl::_> >(
        print_type()
    );

    /* Output:
    class A
    class B
    */

    return 0;
}

Вывод /I"C:\Program Files\boost\boost_1_47" /I"C:\Program Files\boost" /Zi /nologo /W3 /WX- /O2 /Oi /Oy- /GL /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /Gm- /EHsc /GS /Gy /fp:precise /Zc:wchar_t /Zc:forScope /Fp"Release\mpl.pch" /Fa"Release\" /Fo"Release\" /Fd"Release\vc100.pdb" /Gd /analyze- /errorReport:queue: 

1>------ Build started: Project: mpl, Configuration: Release Win32 ------
1>  main.cpp
1>C:\Program Files\boost\boost_1_47\boost/mpl/for_each.hpp(75): error C2784: 'void print_type::operator ()(wrap<T>) const' : could not deduce template argument for 'wrap<T>' from 'arg'
1>          ..\..\..\mpl\main.cpp(20) : see declaration of 'print_type::operator ()'
1>          C:\Program Files\boost\boost_1_47\boost/mpl/for_each.hpp(101) : see reference to function template instantiation 'void boost::mpl::aux::for_each_impl<false>::execute<first,last,TransformOp,F>(Iterator *,LastIterator *,TransformFunc *,F)' being compiled
1>          with
1>          [
1>              TransformOp=wrap<boost::mpl::_>,
1>              F=print_type,
1>              Iterator=first,
1>              LastIterator=last,
1>              TransformFunc=wrap<boost::mpl::_>
1>          ]
1>          ..\..\..\mpl\main.cpp(42) : see reference to function template instantiation 'void boost::mpl::for_each<AB,wrap<T>,print_type>(F,Sequence *,TransformOp *)' being compiled
1>          with
1>          [
1>              T=boost::mpl::_,
1>              F=print_type,
1>              Sequence=AB,
1>              TransformOp=wrap<boost::mpl::_>
1>          ]
========== Build: 0 succeeded, 1 failed, 2 up-to-date, 0 skipped ==========

1 Ответ

2 голосов
/ 27 сентября 2011

Некоторая терминология, перефразированная из справочного руководства Boost.MPL :

  • A метафункция - это тип с вложенным типом с именем type
  • A класс метафункций - это тип с вложенной метафункцией с именем apply
  • A выражение-заполнитель - это тип, который является заполнителем MPL илиспециализация шаблона класса с хотя бы одним аргументом, который сам по себе является выражением-заполнителем

Таким образом, мы знаем, что wrap<> является мета-функцией, и что wrap<mpl::_> является одновременно выражением-заполнителем и метафункция.

Когда mpl::for_each<> передается метафункция или класс метафункции для аргумента шаблона TransformOp, он оценивает этот класс метафункции / метафункции для получения результата преобразования.Следовательно, если вы хотите передать необработанное выражение-заполнитель без дальнейшей оценки , ваше выражение-заполнитель не должно соответствовать критериям класса мета-функции или мета-функции.

В вашем сценарии, так как wrap<> является метафункцией, mpl::for_each<> оценивает ее и выдает A и B в качестве преобразованных типов;Между тем, print_type::operator()<> ожидает wrap<A> и wrap<B> - конечно, это откажется компилировать.

...