Выполнение инициализации шаблонного класса с использованием других шаблонных классов в переменных аргументах конструктора - PullRequest
Новая
       33

Выполнение инициализации шаблонного класса с использованием других шаблонных классов в переменных аргументах конструктора

1 голос
/ 16 апреля 2019

Я хотел создать простой HTML dom конструктор в C ++ и решил, что буду использовать шаблонный класс tag<> для описания типа тега.

Я уже использовал другиеметоды для создания DOM в C ++ с некоторым успехом, но дизайн не будет обрабатывать необработанные строки, поэтому переход к шаблонному классу может помочь мне в обработке этого с использованием специализации шаблона (tag<plain>).

В настоящее время проблема заключается во вложении тегов в их конструкторы с использованием шаблона с переменными параметрами.Я смог реализовать его с помощью node, который содержит теги корневого уровня, но любое вложение тега в тег не разрешено. 

#include <map>
#include <string>
#include <tuple>
#include <utility>

namespace web {
enum class attrs { charset, name, content, http_equiv, rel, href, id, src, lang };

using attribute = std::pair<attrs, std::string>;

using attribute_type = std::map<attrs, std::string>;

const auto none = attribute_type{};

enum tag_name { html, head, meta, title, link, body, div, script, plain, p, h1, span };

template <typename... Tags> struct node {
    int increment;
    std::tuple<Tags...> tags;

    explicit node(const int incr, Tags... tggs)
        : increment{incr}, tags{std::make_tuple(tggs...)} {}
};

template <tag_name T, typename... Tags> struct tag {
    attribute_type attributes;
    std::tuple<Tags...> tags;

    explicit tag(attribute_type atts, Tags... tggs)
        : attributes{atts.begin(), atts.end()}, tags{std::make_tuple(tggs...)} {
    }
};

template <> struct tag<plain> {
    std::string content;

    explicit tag(std::string val) : content{std::move(val)} {}
};
} // namespace web

int main() {
    using namespace web;
    node page1{2};
    node page2{2, tag<html>{none}};
    node page3{2, tag<html>{{{attrs::lang, "en"}}}};
    node page4{2, tag<meta>{{{attrs::name, "viewport"},
                                  {attrs::content,
                                   "width=device-width, initial-scale=1.0"}}}};
    node page5{2, tag<head>{none}, tag<body>{none}, tag<plain>{"Hello World"}}; // Yet this line still compiles and works as expected...
    node page6{1, tag<span>{none, tag<h1>{none}}}; // error: no matching constructor for initialization of 'tag<html>'
}

Я хочу знать, как я 'Я могу объединять теги внутри класса узла, но не могу делать это внутри класса tag, и, если возможно, я смогу решить эту проблему.

Ответы [ 2 ]

2 голосов
/ 16 апреля 2019

Похоже, это проблема вывода типа класса шаблона.Существует неоднозначность, которую можно устранить с помощью простой оболочки функций (или руководств по дедукции C ++ 17).

Во всяком случае, здесь (это работает в gcc 8.3 в режиме C ++ 17): 

#include <map>
#include <string>
#include <tuple>
#include <utility>

namespace web
{
    enum class attrs { charset, name, content, http_equiv, rel, href, id, src, lang };

    using attribute = std::pair<attrs, std::string>;

    using attribute_type = std::map<attrs, std::string>;

    const auto none = attribute_type{};

    enum tag_name { html, head, meta, title, link, body, div, script, plain, p, h1, span };

    template <typename... Tags>
    struct node
    {
        int increment;
        std::tuple<Tags...> tags;

        explicit node(const int incr, Tags... tggs) : increment{incr}, tags{tggs...} {}
    };

    template <tag_name T, typename... Tags>
    struct tag
    {
        attribute_type attributes;
        std::tuple<Tags...> tags;

        explicit tag(const attribute_type &atts, Tags... tggs) : attributes(atts), tags(tggs...) {}
    };

    template <>
    struct tag<plain>
    {
        std::string content;

        explicit tag(std::string val) : content(std::move(val)) {}
    };

    template<typename ...Args>
    auto make_node(int incr, Args &&...args)
    {
        return node<std::decay_t<Args>...> ( incr, std::forward<Args>(args)... );
    }
    template<tag_name T, typename ...Args>
    auto make_tag(const attribute_type &atts, Args &&...args)
    {
        return tag<T, std::decay_t<Args>...> ( atts, std::forward<Args>(args)... );
    }
} // namespace web



int main() {
    using namespace web;
    node page1{2};
    node page2{2, tag<html>{none}};
    node page3{2, tag<html>{{{attrs::lang, "en"}}}};
    node page4{2, tag<meta>{{{attrs::name, "viewport"},
                                  {attrs::content,
                                   "width=device-width, initial-scale=1.0"}}}};
    node page5{2, tag<head>{none}, tag<body>{none}, tag<plain>{"Hello World"}};
    auto page6 = make_node(1, make_tag<span>(none, make_tag<h1>(none))); // works now - uses our make functions
}
1 голос
/ 17 апреля 2019

Проблема в вашем коде состоит в том, что руководства по выводам, представленные в C ++ 17, работают только при выводе всех аргументов шаблона.

Так зовут 

node page2{2, tag<html>{none}};

работает потому что

(1) tag<html>{none} не требует вывода шаблона, потому что первый параметр шаблона объяснен там, где список переменных (Tags...) пуст (без аргументов после none), поэтому tag является tag<html> и

(2) автоматические инструкции по выводу для node выводить все аргументы шаблона (Tags...), поэтому page2 выводится как node<tag<html>>.

Проблема возникает при написании 

tag<span>{none, tag<h1>{none}}

потому что для tag<span> после none есть аргумент, поэтому список переменных Tags... не пуст, но не может быть (автоматически, с помощью неявных руководств по выводам), потому что вы объяснили первый шаблон аргумент (span).

Очевидно, что вы можете решить эту проблему, добавив функцию make_tag(), как предложил Круз Джин, но я предлагаю вам другое решение, использующее автоматические направляющие вычитания.

Прежде всего, определите класс оболочки w для tag_name s 

template <tag_name>
struct w
 { };

затем переписать ваш tag класс с помощью two constructor; первый для случая с пустым внутренним tags

  explicit tag (attribute_type atts)
     : attributes{std::move(atts)}
   { }

второй для общего случая (также не пустой внутренний список tags), который получает элемент w<T>, который разрешает автоматический вычет также для T

  explicit tag (w<T>, attribute_type atts, Tags... tggs)
     : attributes{std::move(atts)}, tags{tggs...}
  { }

Первый конструктор, разрешающий поддерживать формат 

 tag<html>{none}

в случае отсутствия содержащихся тегов; второй разрешает этот тип tag объявлений объектов 

 tag{w<html>{}, none}

 tag{w<span>{}, none, tag<h1>{none}}

Ниже приведен полный пример компиляции 

#include <map>
#include <string>
#include <tuple>
#include <utility>

namespace web
 {
   enum class attrs
    { charset, name, content, http_equiv, rel, href, id, src, lang };

   using attribute = std::pair<attrs, std::string>;

   using attribute_type = std::map<attrs, std::string>;

   const auto none = attribute_type{};

   enum tag_name
    { html, head, meta, title, link, body, div, script, plain, p, h1, span };

   template <typename... Tags>
   struct node
    {
      int increment;
      std::tuple<Tags...> tags;

      explicit node (int const incr, Tags ... tggs)
         : increment{incr}, tags{tggs...}
       { }
    };

   template <tag_name>
   struct w
    { };

   template <tag_name T, typename ... Tags>
   struct tag
    {
      attribute_type attributes;
      std::tuple<Tags...> tags;

      explicit tag (attribute_type atts)
         : attributes{std::move(atts)}
       { }

      explicit tag (w<T>, attribute_type atts, Tags... tggs)
         : attributes{std::move(atts)}, tags{tggs...}
      { }
    };

   template <>
   struct tag<plain>
    {
      std::string content;

      explicit tag (std::string val) : content{std::move(val)}
       { }
    };
 } // namespace web


int main ()
 {
   using namespace web;
   node page1{2};
   node page2{2, tag<html>{none}};
   node page3{2, tag<html>{{{attrs::lang, "en"}}}};
   node page4{2, tag<html>{{{attrs::name, "viewport"},
       {attrs::content, "width=device-width, initial-scale=1.0"}}}};
   node page5{2, tag<head>{none}, tag<body>{none},
       tag<plain>{"Hello World"}};
   node page6{1, tag{w<span>{}, none, tag<h1>{none}}};
 }
...