На главную
ПРАВИЛА FAQ Помощь Участники Календарь Избранное DigiMania RSS
msm.ru
! Правила раздела FAQ в группе разделов С++.
1. Раздел FAQ предназначен для публикации готовых статей.
2. Здесь нельзя задавать вопросы, для этого существуют соответствующие разделы:
Чистый С++
Visual C++ / MFC / WTL / WinApi
Borland C++ Builder
COM / DCOM / ActiveX / ATL
Сопутствующие вопросы
3. Внимание, все темы и сообщения в разделе премодерируются. Любое сообщение или тема будут видны остальным участникам только после одобрения модератора.
Модераторы: B.V., Qraizer
  
> Что такое traits?, Свойства и их использование
    Что такое traits?

    Вступление
    В данной статье я попытаюсь рассказать, что такое traits. Будут рассмотрены некоторые примеры применения traits, которые будут заключаться как в использовании traits в нашем коде, так и в возможных способах расширения стандартной библиотеки C++, которая тоже использует traits. Также будут рассмотрены возможные проблемы, которые могут возникнуть при расширении стандартной библиотеки C++.

    Для кого написана данная статья?
    Эта статья написана для программистов на C++, которые уже неплохо владеют самим языком, его основными конструкциями. В частности, необходимо знание, что такое шаблоны(templates) и желателен опыт их использования. Также очень желательно знание стандартной библиотеки C++, так как многие примеры будут посвящены именно ей.

    Ну, поехали...
    Итак, приступим. Думаю, начать стоит с перевода термина traits. Обычно его переводят как "свойства". Но traits реализуются классом, поэтому обычно употребляется термин "класс свойств". Следует заметить, что свойства также можно реализовать с помощью структуры, так как в C++ это практически аналоги. Далее я буду использовать термин класс, хотя все сказанное будет в той же мере относиться к структурам.

    Теперь следует дать определение свойств. Натан Майерс, разработавший метод использования свойств, предложил такое определение:
    Класс свойств - это класс, используемый вместо параметров шаблона. В качестве класса он объединяет полезные типы и константы; как шаблон, он является средством для обеспечения того "дополнительного уровня косвенности", который решает все проблемы программного обеспечения.

    Определение не настолько понятное, так что давайте попробуем разобраться, что же имеется в виду. Для этого предлагается рассмотреть небольшой пример. В качестве примера мы рассмотрим шаблонный класс динамического массива. Конечно, реализовывать полностью этот класс мы не будем(у нас уже есть vector), но общие концепции мы рассмотрим.
    Итак, наш шаблонный класс динамического массива должен иметь в качестве аргументов шаблона:
    1) тип элемента шаблона
    2) тип ссылки на элемент
    3) тип аргумента функций
    4) тип константной ссылки
    Думаю, прокомментировать стоит только тип аргумента функций. Этот тип используется для вставки элементов в массив. Например, эффективней передать int или char по значению, чем по константной ссылке.
    Тогда набросок класса будет выглядеть так:
    ExpandedWrap disabled
      template <typename T,
                typename ArgT      = const T&,
                typename RefT      = T&,
                typename ConstRefT = const T&>
      class vector {
           // ...
          public:
           typedef T             value_type;
           typedef ArgT          arg_type;
           typedef RefT          reference;
           typedef ConstRefT     const_reference;
       
              void push_back(arg_type);
       
              // ...
      };

    Для удобства были добавлены соответствующие значения параметров шаблона по умолчанию.
    Тогда каждый пользователь нашего класса должен будет создавать объекты класса как-то так:
    ExpandedWrap disabled
      // используем параметры по умолчанию
      vector<int> vec1; // эквивалентно: vector<int, const int&, int&, const int&>
       
      // переопределяем один из параметров по умолчанию
      // обратите на второй аргумент шаблона(не ссылка, а передача по значению)
      vector<int, const int> vec2; // эквивалентно: vector<int, const int, int&, const int&>
       
      // переопределяем один из параметров по умолчанию
      vector<char, const char> vec3; // // эквивалентно: vector<char, const char, char&, const char&>
       
      // используем параметры по умолчанию
      vector<char> vec4; // эквивалентно: vector<char, const char&, char&, const char&>

    Все хорошо, все отлично работает. Но если мы захотим реализовать, например, связанный список, то нам придется для него задавать аналогичные параметры шаблона. Это довольно муторно, так как придется каждый раз писать одно и то же. Тогда на помощь приходят классы свойств(traits). Создадим шаблон класса, который будет содержать все те дополнительные аргументы шаблона:
    ExpandedWrap disabled
      // первичный шаблон
      // подходит в общем случае - аналог аргументов шаблона по умолчанию
      template <typename T>
      class elem_traits {
          public:
           typedef const T& arg_type;
           typedef       T& reference;
           typedef const T& const_reference;
      };

    Это и будет наш класс свойств. То есть он описывает те типы(arg_type, reference, const_reference), которые представляют наш тип T. Таким образом, нам надо вместо несколько аргументов шаблона писать только один дополнительный аргумент - класс свойств, который содержит в себе все нужные типы.
    Тогда класс нашего динамического массива можно переписать так:
    ExpandedWrap disabled
      template <typename T,
                typename traits = elem_traits<T> > // свойство по умолчанию
      class vector {
           // ...
          public:
           typedef T                                value_type;
           typedef typename traits::arg_type        arg_type;
           typedef typename traits::reference       reference;
           typedef typename traits::const_reference const_reference;
       
              void push_back(arg_type);
       
              // ...
      };

    Тогда давайте посмотрим, как пользователи нашего динамического массива будут создавать объекты:
    ExpandedWrap disabled
      // используется аргумент-свойство по умолчанию
      vector<int> vec1; // эквивалентно: vector<int, elem_traits<int> >
      // тогда:
      // arg_type  = const int&
      // reference = int&
      // const_reference = const int&
       
      // используется аргумент-свойство по умолчанию
      vector<char> vec1; // эквивалентно: vector<char, elem_traits<char> >
      // тогда:
      // arg_type  = const char&
      // reference = char&
      // const_reference = const char&

    В этом примере для всех типов используются аргументы по умолчанию. Но мы выяснили, что аргументы типа char лучше передавать не по константной ссылке, а по значению, то можно сделать специализацию нашего класса свойств:
    ExpandedWrap disabled
      // специализация для типа char
      template <>
      class elem_traits<char> {
          public:
           typedef const char  arg_type; // определили тип, который передает по значению типы char
           typedef       char& reference;
           typedef const char& const_reference;
      };

    Тогда объекты нашего динамического массива будем создавать так:
    ExpandedWrap disabled
      vector<std::string> vec1; // эквивалентно: vector<std::string, elem_traits<std::string> >
      // для всех типов, для которых не сделана специализация,
      // все остается как прежде:
      // тогда:
      // arg_type  = const std::string& (по ссылке)
      // reference = std::string&
      // const_reference = const std::string&
       
       
      // а для типа char мы сделали специализацию
      vector<char> vec2; // эквивалентно: vector<char, elem_traits<char> >
      // тогда:
      // arg_type  = const char (по значению, а не по ссылке)
      // reference = char&
      // const_reference = const char&

    Давайте теперь рассмотрим случай, когда мы хотим создать динамический массив с элементами типа char, но чтобы arg_type был эквивалентен char&. Специализация нашего класса elem_traits для char уже существует, то есть ее сделать мы уже не можем. В таком случае остается создать новый класс свойств:
    ExpandedWrap disabled
      // обратите внимание: структура, а не класс
      // (разницы никакой, это лишний раз подчеркивается данным примером)
      struct char_elem_traits {
       // здесь переопределеяем тип аргумента функций.
       // Мы договорились, что это будет char&
          typedef       char& arg_type; // определили тип, который передает по ссылке типы char
       
          // остальное оставляем так же.
          // Хотя ничто не мешает нам переопределеить тип ссылки или константной ссылки
          typedef       char& reference;
          typedef const char& const_reference;
      };

    Тогда осталось только создать нужный динамический массив:
    ExpandedWrap disabled
      vector<char, char_elem_traits> vec;
      // тогда:
      // arg_type  = char& (по ссылке, но не по константной)
      // reference = char&
      // const_reference = const char&

    Но заметим, что класс(структура) char_elem_traits переопределяет только один тип - arg_type, а остальные остаются неимзенными по отношению к elem_traits<char>. То есть мы произвели лишнюю работу, определив самостоятельно типы reference и const_reference. Хорошо еще, что тут немного типов, а представьте, что их было бы около 20? 50? Чтобы каждый раз не переписывать общие свойства, можно воспользоваться открытым наследованием и переопределить нужные нам типы:
    ExpandedWrap disabled
      class char_elem_traits : public elem_traits<char> {
       public:
        typedef char& arg_type; // определили тип, который передает по ссылке типы char
       
        // типы reference и const_reference наследуются
      };

    Теперь можно использовать наш класс свойств char_elem_traits точно так же, как мы делали это раньше.

    До этого мы рассматривали только свойства, определяющие необходимые типы. Еще могут быть свойства-значения: они предоставляют нужные константы для данного типа.
    Рассмотрим пример: нам надо написать шаблон класса, которому для каждого параметра шаблона(типа) требуются связанные с ним константы. Первая мысль будет такой(пример немного перефразирован из вопроса с форума):
    ExpandedWrap disabled
      template <typename T,
                std::size_t T2 = sizeof(T) * 4,
                std::size_t T3 = sizeof(T) * 2,
                std::size_t T4 = sizeof(T)
                // ...
                >
      class X {
        // используем нужные константы
        // T2 == sizeof(T) * 4
        // T4 == sizeof(T)
      };

    Но мы теперь люди продвинутые и знаем, как избежать такого большого количества аргументов шаблона - обернуть все в traits:
    ExpandedWrap disabled
      template <typename T>
      struct x_traits {
       static std::size_t T2 = sizeof(T) * 4;
       static std::size_t T3 = sizeof(T) * 2;
       static std::size_t T4 = sizeof(T);
      };
       
      template <typename T, typename traits = x_traits<T> >
      class X {
        // используем нужные константы через traits:
        // traits::T2 == sizeof(T) * 4
        // traits::T4 == sizeof(T)
      };

    Но теперь в нашем коде возникает проблема: если вдруг получится так, что пользователь нашего класса захочет взять адрес нашей константы, компилятор должен будет создать реальную константу в памяти, адрес которой можно взять. Для этого был предуман трюк с enum'ом:
    ExpandedWrap disabled
      template <typename T>
      struct x_traits {
       enum { T2 = sizeof(T) * 4 };
       enum { T3 = sizeof(T) * 2 };
       enum { T4 = sizeof(T)      };
      };
       
      template <typename T, typename traits = x_traits<T> >
      class X {
        // используем нужные константы через traits:
        // traits::T2 == sizeof(T) * 4
        // traits::T4 == sizeof(T)
      };

    Дело в том, что компилятор не позволяет взять адрес enum-констант. Так что мы теперь точно знаем, что наша константа будет вставлена в код числом.
    На данном этапе все хорошо. Но вдруг нам надо доработать класс так, что нужна константа вещественного типа. Но возникает такая проблема: в классах можно инициализировать только статические интегральные константы. В enum'ах тоже можно использовать только целые типы. Что же тогда делать? Остается только определить inline-фунцию, которая бы возвращала нужное значение:
    ExpandedWrap disabled
      template <typename T>
      struct x_traits {
       static std::size_t T2() {
        return(sizeof(T) * 4);
       }
       
       static std::size_t T3() {
        return(sizeof(T) * 2);
       }
       
       static std::size_t T4() {
        return(sizeof(T));
       }
       
       
       // возвращаемое значение типа double
       static double T5() {
        return(sizeof(T) * 5 / 7);
       }
      };
       
      template <typename T, typename traits = x_traits<T> >
      class X {
        // используем нужные константы через traits:
        // T2: traits::T2() - возвращает тип std::size_t, можно и через enum
        // T5: traits::T5() - возвращает тип double, по-другому не сделать, только функция
      };

    Надо заметить, что наличие функции на производительность не влияет, так как современные компиляторы способны подставить нужное значение прямо в код вместо вызова функции. Также можно сочетать наличие функций, возвращающих нужные значения вещественного типа, и простые интегральные константы, полученные с помощью enum.

    Теперь мы знаем основные принципы для работы с traits. Так что давайте рассмотрим пример, который помогает расширить стандартную библиотеку C++.
    Давайте рассмотрим такую задачу(перефразировано из вопроса с форума):
    Цитата
    Я хочу определить размер файла с помощь класса ifstream. Сам файл весит больше 5 Гб. Функция tellg() возвращает какое-то нереальное значение. Как можно правильно определить размер файла?

    На данный момент все известные мне версии стандартной библиотеки C++ представляют позицию в файле 32-разрядным целым. Но дело в том, что обычные 32-разрядные целые числа не могут представлять размер файла, большего 4 ГБ(происходит переполнение). То есть нам надо каким-либо образом заставить стандартную библиотеку использовать не 32-разрядные числа, а, например 64-разрядные(или вообще наш собственный тип(класс), который мы опишем). Как это сделать? Как вы уже догадались, помогут нам traits.
    Как известно, ifstream - это только typedef от класса basic_ifstream. Сам же класс basic_ifstream принимает 2 параметра шаблона: первый из них определяет тип символа, а второй определяет свойста(traits). Так вот эти свойста и должны определять, каким типом представлять позицию в файле, как сравнивать символы и тд. Второй параметр шаблона класса basic_ifstream по умолчанию будет классом char_traits. Это стандартный класс, который описывает основные свойста: нужные типы, как сравнивать символы, присваивать и тд.. Так как мы не собираемся переопределять это все(нам надо заменить только 2 типа), тогда хорошей идеей будет унаследоваться от класса char_traits.
    У класса char_traits есть 2 интересующих нас типа(полный список типов можно найти в документации):
    1) pos_type - тип, используемый для представления позиции в потоке
    2) off_type - тип, используемый для представления смещений между позициями в потоке
    Вот их-то как раз нам и надо переопределить. Давайте сделаем первую попытку:
    ExpandedWrap disabled
      template <typename char_t>
      struct long_pointer_traits : public std::char_traits<char_t> {
       typedef __int64 pos_type;
       typedef __int64 off_type;
      };
       
      typedef std::basic_ifstream<char, long_pointer_traits<char> > long_ifstream;
       
      // используем long_ifstream

    Но вот незадача: этот код не компилируется. Дело в том, что pos_type должен уметь конструироваться из нескольких заранее определенных типов(как показало исследование, 2). Базовые типы этого делать не умеют, так что придется написать свой собственный класс. Я не буду заострять внимание на этом классе, так как статья немного не на эту тему. Я просто приведу реализацию этого класса, а если у вас будут какие-то вопросы, то писать либо здесь, либо в PM. Итак, вот код:
    ExpandedWrap disabled
      // пространство имен, в которое заносятся детали реализации
      namespace detail {
       template <typename num_type, typename state_type = std::mbstate_t>
       class pos_type_t {
           typedef pos_type_t<num_type, state_type> my_type;
       
           num_type    m_pos;
           state_type  m_state;
       
           static state_type initial_state;
       
          public:
          // конструкторы
           pos_type_t(std::streampos off) : m_pos(off), m_state(initial_state) {}
              pos_type_t(num_type off = 0) : m_pos(off), m_state(initial_state) {}
              pos_type_t(state_type state, num_type pos) : m_pos(pos), m_state(state) {}
       
              // получение состояния потока
              state_type state() const {
                  return(m_state);
              }
       
              // установка состояния потока
              void state(state_type st) {
                  m_state = st;
              }
       
              // получение позиции
              num_type seekpos() const    {
              return(m_pos);
              }
       
              // оператор преобразования
              operator num_type() const {
              return(m_pos);
              }
       
              // далее идут операторы, которые осуществляют арифметические операции
       
              num_type operator- (const my_type& rhs) const {
          return(static_cast<num_type>(*this) - static_cast<num_type>(rhs));
              }
       
              my_type& operator+= (num_type pos) {
                  m_pos += pos;
                  return(*this);
              }
       
              my_type& operator-= (num_type pos) {
                  m_pos -= pos;
                  return(*this);
              }
       
              my_type operator+ (num_type pos) const {
                  my_type tmp(*this);
                  return(tmp += pos);
              }
       
              my_type operator- (num_type pos) const {
                  my_type tmp(*this);
                  return(tmp -= pos);
              }
       
              // операторы сравнения
       
              bool operator== (const my_type& rhs) const {
          return(static_cast<num_type>(*this) == static_cast<num_type>(rhs));
              }
       
              bool operator!= (const my_type& rhs) const {
          return(!(*this == rhs));
              }
       };
      //---------------------------------------------------
       // статическая константа, которая обозначает начальное состояние
       template <typename num_type, typename state_type>
       state_type pos_type_t<num_type, state_type>::initial_state;
      }
      //---------------------------------------------------
      // наконец-то наш класс свойств:
      template <typename char_t, typename long_pos_t>
      struct long_pointer_traits : public std::char_traits<char_t> {
       // определение pos_type через наш только что написанный класс
       typedef detail::pos_type_t<long_pos_t> pos_type;
       
       // определение off_type через тип, переданный во 2 аргументе шаблона
       typedef long_pos_t off_type;
      };
      //---------------------------------------------------
      // вводим тип "длинного" файла
      typedef std::basic_ifstream<char, long_pointer_traits<char, __int64> > long_ifstream;
       
      // используем long_ifstream для получения размера файла

    ОК, теперь все компилируется и работает. Но кроме получения позиции в файле, нам обычно надо работать еще с этими файлами(читать, писать). И, конечно, нам приходится работать со строками. Тогда если мы попытаемся считать строку из файла таким образом:
    ExpandedWrap disabled
      long_ifstream infile(strFileName, std::ios::binary);
      std::string res;
      std::getline(infile, res);

    То мы получим ошибку компиляции. Проблема в том, что std::string - это "всего лишь" typedef от std::basic_string. Этот класс принимает 2 параметра шаблона: первый - тип для представления символа, а второй(как вы уже, наверное, догадались) - traits. Так вот, для корректной работы нам надо определить и свой тип строки:
    ExpandedWrap disabled
      // "длинные" типы:
      typedef std::basic_ifstream<char, long_pointer_traits<char, __int64> >  long_ifstream;
      typedef std::basic_string<char, long_pointer_traits<char, __int64> >    long_string;
       
      long_ifstream infile(strFileName, std::ios::binary);
      long_string res;
      std::getline(infile, res);

    Теперь все работает прекрасно. Таким образом, для правильного взаимодействия компонентов стандартной библиотеки нам придется определять нужные типы и работать с ними. К сожалению, на данный момент я не знаю способа, как можно было бы создать нужный тип для стандартных потоков ввода/вывода(cin, cout, cerr, clog). Так что чтобы вывести такую "длинную" строку на экран, надо будет написать свой оператор вывода такой строки. Другого решения мне неизвестно(если кто-то знает - поделитесь, буду признателен).
    Также хочу сказать несколько слов о совместимости и переносимости: приведенный мной код по определению размера большого файла был проверен на компиляторах VC7.1 и Intel C++ 8.0. Использовалась стандартная библиотека, которая идет по умолчанию с VC. При работе с ней замечено никаких ошибок не было. Проверялся код и с использованием STLPort версий 4.6.2 и 5.0. Компилировался он без проблем, но работал неправильно. Надеюсь, в дальнейших версиях STLPort'а это будет исправлено и работать будет корректно, так как данный код соответствует стандарту.

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

    Использованная литература:
    * Джосатис, Вандервурд "Шаблоны C++".
    * Николай Джосатис, "Стандартная библиотека С++".
    Собственно, советую почитать эти книги. Насколько мне известно, Герб Саттер и Андрей Александреску писали в своих книгах про свойства, но, к сожалению, мне еще не довелось читать их книги.
    Сообщение отредактировано: byte -
      Хорошее описание данного вопроса вы также найдёте в книге Стивена Дьюхерста (коллеги Страуструпа) "С++ Священные Знания" 2 изд., тема 54
        byte, да, у Саттера в More Exceptional C++ есть про traits. Отличная книга (обе части).
          Цитата byte @
          Следует заметить, что свойства также можно реализовать с помощью структуры, так как в C++ это практически аналоги. Далее я буду использовать термин класс, хотя все сказанное будет в той же мере относиться к структурам.


          Я автору статьи настоятельно рекомендую почитать главу 9 стандарта С++, где дается определение класса в частности лексической единицы class-key. Тогда у него не будет путаницы в вопросе классов и структур.

          Цитата byte @
          Итак, наш шаблонный класс динамического массива должен иметь в качестве аргументов шаблона:
          1) тип элемента шаблона
          2) тип ссылки на элемент
          3) тип аргумента функций
          4) тип константной ссылки


          Это вообще не понятно. Во-первых, автор неправильно называет параметры шаблона аргументами. Во-вторых, не видно смысла почему тип элемента шаблона и, например, тип ссылки на элемент, должны быть заданы как отдельные параметры шаблона?! Почему тип ссылки иои тип константной ссылки нельзя определить внутри класса с помощью typedefr на основе параметра шаблона. Или автор предполагает, что тип элемента шаблона может быть одним, а тип ссылки на элемент может быть ссылкой на совершенно другой тип?!

          Цитата byte @
          Думаю, прокомментировать стоит только тип аргумента функций. Этот тип используется для вставки элементов в массив. Например, эффективней передать int или char по значению, чем по константной ссылке.
          template


          Очень сомнительное высказывание, так как шаблонный массив не обязательно должен инстанцироваться только для типов int или char, но и для разработанных пользователем типов, например, для типа std::string. Поэтому лучше не вводить ввобще такой параметр шаблона, так как это затрудняет его восприятие пользователем, а для встроенных типов сделать специализацию данного шаблона.

          Цитата byte @
          template <typename T>
          class elem_traits {
          public:
          typedef const T& arg_type;
          typedef T& reference;
          typedef const T& const_reference;
          };


          Далее автор сам себе противоречит, то есть делает несостоятельным предыдущее решение. Но только не потому, что, какуказал, для списка придется дублировать код, а потому, что в первом решении он использовал многочисленные параметры шаблона, которые совершенно излишни, а во-втором случае вместо параметров шаблона стал использовать typedef на основе одного параметра шаблона, как я и предлагал делать с самого начала.
          То есть получается, что читая статью, мы получаем сведения не о логически вытекающей из первого примера пользе классов свойств, а о том, что автор сначала сделал глупость, а потом свою глупость пытается исправить.

          Цитата byte @
          Это и будет наш класс свойств. То есть он описывает те типы(arg_type, reference, const_reference), которые представляют наш тип T. Таким образом, нам надо вместо несколько аргументов шаблона писать только один дополнительный аргумент - класс свойств, который содержит в себе все нужные типы.


          Так и раньше можно было вместо нескольких параметров (хотел сказать неправильно за автором вместо параметров слово аргументов) шаблона задать только один параметр, а все другие типы определить с помощью typedef. В чем была проблема-то?!

          Цитата byte @
          В этом примере для всех типов используются аргументы по умолчанию. Но мы выяснили, что аргументы типа char лучше передавать не по константной ссылке, а по значению, то можно сделать специализацию нашего класса свойств:

          // специализация для типа char
          template <>
          class elem_traits<char> {
          public:
          typedef const char arg_type; // определили тип, который передает по значению типы char
          typedef char& reference;
          typedef const char& const_reference;
          };


          Все тоже самое можно было сделать без всякого класса свойств в первой реализации вектора. Просто для типа char b int можно было специализировать класс вектора.
          Сейчас же подход, предложенный автором, просто не корректный, так как вы уже не можете использовать этот класс свойств, если для типа char в другом контейнере вы хотите сохранить определения типов по умолчанию!

          Цитата byte @
          template <typename T>
          struct x_traits {
          static std::size_t T2 = sizeof(T) * 4;
          static std::size_t T3 = sizeof(T) * 2;
          static std::size_t T4 = sizeof(T);
          };


          Вообще-то, этот код нре должен компилироваться, так как объявлены не константы в виду отсутствия квалификатора const, а переменные. А переменные нельзя инициализировать внутри определения класса. Возможно, что это проста опечатка автора, но тем не менее она имеет место быть.
          Сообщение отредактировано: Uncle_Bob -
            Цитата Сыроежка @
            Или автор предполагает, что тип элемента шаблона может быть одним, а тип ссылки на элемент может быть ссылкой на совершенно другой тип?!
            Именно. Ссылкой может служить некий прокси-класс.
            Цитата Сыроежка @
            То есть получается, что читая статью, мы получаем сведения не о логически вытекающей из первого примера пользе классов свойств, а о том, что автор сначала сделал глупость, а потом свою глупость пытается исправить.
            Как раз наоборот. Представив одну (первую) из возможных реализаций параметризации, он показал её слабые места, и перейдя к концепции классов свойств, показал, как они решаются. При этом получая другие слабые места, но они являются уже инкапслуированными в классе, поэтому практически не влияют на клиентский код. См. ниже.
            Цитата Сыроежка @
            Просто для типа char b int можно было специализировать класс вектора.
            Упс. Это решение действительно предпочтительнее??
            Цитата Сыроежка @
            Сейчас же подход, предложенный автором, просто не корректный, так как вы уже не можете использовать этот класс свойств, если для типа char в другом контейнере вы хотите сохранить определения типов по умолчанию!
            Да, "ниже" - это сюда. Он не некорректный. Т.к. класс свойств сильно связан с сущностью, чьи свойства он определяет, нет ничего удивительно в том, что класс является законченным конкретным классом, и его контент должен быть пересмотрен целиком при необходимости сменить то или иное свойство сущности. С другой стороны, автор отнюдь не утверждает, что класс свойств должен являться жётским каркасом для сущности. Он показал путь, как отделить определение свойств сущности от самой сущности, улучшив тем самым инкапсуляцию. Никто не запрещает продолжить декомпозицию класса свойств, если есть желание, и это работа пользователя, а не разработчика.
            Одни с годами умнеют, другие становятся старше.
              Цитата Qraizer @
              Как раз наоборот. Представив одну (первую) из возможных реализаций параметризации, он показал её слабые места, и перейдя к концепции классов свойств, показал, как они решаются. При этом получая другие слабые места, но они являются уже инкапслуированными в классе, поэтому практически не влияют на клиентский код. См. ниже.


              да ничего он не показал! Он сначала сделал глупость, а затем определил все эти типы через typedef. Спрашивается, а зачем было городить весь этот огород с первым примерома, а не сделать в нем те же самые typedef?!

              Так что статья очень слабая и нре убедительная.

              Цитата Qraizer @
              Цитата (Сыроежка @ Вчера, 21:53)Просто для типа char b int можно было специализировать класс вектора.
              Упс. Это решение действительно предпочтительнее??


              Это решение, которое повсеместно используется в стандартной библиотеке С++.
              Сообщение отредактировано: Uncle_Bob -
                Цитата byte @
                эффективней передать int или char по значению, чем по константной ссылке.

                спорно, потому что ссылка всегда занимает регистр целиком. по этому, эффективней это только для типов разрядность которых, меньше размера регистра.

                Цитата byte @
                Но вдруг нам надо доработать класс так, что нужна константа вещественного типа. Но возникает такая проблема: в классах можно инициализировать только статические интегральные константы. В enum'ах тоже можно использовать только целые типы. Что же тогда делать? Остается только определить inline-фунцию, которая бы возвращала нужное значение:

                в рамках текущего стандарта, я бы поступил так:
                ExpandedWrap disabled
                  #include <iostream>
                   
                  template <typename T>
                  struct x_traits {
                   static constexpr std::size_t T2 = (sizeof(T) * 4);
                   static constexpr std::size_t T3 = (sizeof(T) * 2);
                   static constexpr std::size_t T4 = (sizeof(T));
                   static constexpr double      T5 = (sizeof(T) * 5 / 7);
                  };
                   
                  template <typename T, typename traits = x_traits<T> >
                  struct X {
                    // используем нужные константы через traits:
                    // T2: traits::T2() - возвращает тип std::size_t, можно и через enum
                    // T5: traits::T5() - возвращает тип double, по-другому не сделать, только функция
                  };


                Цитата niXman @
                спорно, потому что ссылка всегда занимает регистр целиком.

                хотя и это тоже спорно. ведь ссылка - всего лишь псевдоним + синтаксический сахар. как компилятор реализует ссылки, по идее, зависит от конкретного компилятора. так что не уверен.
                Сообщение отредактировано: Uncle_Bob -
                  На самом деле выгодность меняется когда тип имеет размер два-три регистра - зависит от количества и интенсивности использования аргументов, количества регистров в машине и стратегии их использования. То есть на границе оказывается тип вроде complex.

                  Причем даже для крупного аргумента может оказаться эффективнее передать его по значению.
                  Например, обращений к объекту много, но они редкие (ссылка не кешируется) - в результате при передаче по значению обращение производится напрямую, а при передаче по ссылке превращается в два, одно для выборки ссылки, другое - для обращения к данным.

                  В общем без явных измерений и не угадаешь, как эффективнее.
                  Всё написанное выше это всего лишь моё мнение, возможно ошибочное.
                  0 пользователей читают эту тему (0 гостей и 0 скрытых пользователей)
                  0 пользователей:


                  Рейтинг@Mail.ru
                  [ Script Execution time: 0,2641 ]   [ 17 queries used ]   [ Generated: 22.08.19, 11:25 GMT ]