Ідіоми застосування шаблонів Traits-шаблони numeric_limits char_traits string Література

Ідіоми застосування шаблонів Traits-шаблони numeric_limits char_traits string Література Эккель Б., Эллисон Ч. Философия С++, т.2, гл 5.-"Питер",2004. Вандевурд Д., Джосатисс Н. Шаблоны С++: справочник разработчика.- М.:"Вильямс",2003.

Traits-шаблони Traits- (характерні) риси Traits-шаблон – ідіома інкапсуляції значень множини параметрів стану і методів характерної поведінки з наступним інстанціюванням для фіксованого аргументу шаблону Статичний поліморфізм включно з даними: для будь-якого значення параметра шаблону – однакове іменування параметрів стану і методів Спрощення інстанціювання шаблонних типів: параметри стану( може бути значна кількість), як правило, залежать від значення параметра шаблону( найчастіше – одного) Можливість використання ієрархій типів і значень за замовчуванням prj: Traits

_Num_base struct _CRTIMP2_PURE _Num_base{// Риси числових типів за замовчуванням _STCONS(float_denorm_style, has_denorm, denorm_absent); _STCONS(bool, has_denorm_loss, false); _STCONS(bool, has_infinity, false); _STCONS(bool, has_quiet_NaN, false); _STCONS(bool, has_signaling_NaN, false); _STCONS(bool, is_bounded, false); _STCONS(bool, is_exact, false); _STCONS(bool, is_iec559, false); _STCONS(bool, is_integer, false);//static const bool is_integer= false; _STCONS(bool, is_modulo, false); _STCONS(bool, is_signed, false); _STCONS(bool, is_specialized, false); _STCONS(bool, tinyness_before, false); _STCONS(bool, traps, false); _STCONS(float_round_style, round_style, round_toward_zero); _STCONS(int, digits, 0); _STCONS(int, digits10, 0); _STCONS(int, max_exponent, 0); _STCONS(int, max_exponent10, 0); _STCONS(int, min_exponent, 0); _STCONS(int, min_exponent10, 0); _STCONS(int, radix, 0); };

_Num_int_base struct _CRTIMP2_PURE _Num_int_base : public _Num_base { // Додаткові риси для integer _STCONS(bool, is_bounded, true); _STCONS(bool, is_exact, true); _STCONS(bool, is_integer, true); _STCONS(bool, is_modulo, true); _STCONS(bool, is_specialized, true); _STCONS(int, radix, 2); };

numeric_limits template class numeric_limits : public _Num_base { public: // Шаблон для характерних рис числових типів static _Ty (__CRTDECL min)() _THROW0(){ // return minimum value return (_Ty(0)); } static _Ty (__CRTDECL max)() _THROW0(){ // return maximum value return (_Ty(0)); } static _Ty __CRTDECL epsilon() _THROW0(){ // return smallest effective increment from 1.0 return (_Ty(0)); } . . . . . . . . . . };

numeric_limits template<> class _CRTIMP2_PURE numeric_limits : public _Num_int_base{ // limits for type char public: typedef char _Ty; static _Ty (__CRTDECL min)() _THROW0(){ // return minimum value return (CHAR_MIN); } static _Ty (__CRTDECL max)() _THROW0(){ // return maximum value return (CHAR_MAX); } . . . . . . . . . . . };

Повернення боргів cout<<"numeric_limits::digits=" <::digits <::digits=" <::digits <::digits=" <::digits <::min=" <<(int)numeric_limits::min()<::min=" <<(int)numeric_limits< char>::min() <::min=" <<(int)numeric_limits::min() <

struct char_traits template struct char_traits: public _Char_traits_base { // properties of a string or stream element typedef _Elem char_type; typedef long int_type; typedef streampos pos_type; typedef streamoff off_type; typedef _Mbstatet state_type; static void __CLRCALL_OR_CDECL assign (_Elem& _Left, const _Elem& _Right) { // assign an element _Left = _Right; } . . . . . . . };

struct char_traits template<> struct _CRTIMP2_PURE char_traits:public _Char_traits_base { // properties of a string or stream char element typedef char _Elem; typedef _Elem char_type; typedef int int_type; typedef streampos pos_type; typedef streamoff off_type; typedef _Mbstatet state_type; static void __CLRCALL_OR_CDECL assign (_Elem& _Left, const _Elem& _Right) { // assign an element _Left = _Right; } . . . . . . . };

string template < class CharType, class Traits=char_traits, class Allocator=allocator > class basic_string; typedef basic_string string;

Базові класи потоків

ios_base class ios_base: public _Iosb { // base class for ios public: class failure; ios_base& operator=(const ios_base& _Right); operator void *() const {// test if any stream operation has failed return (fail() ? 0 : (void *)this); } bool operator!() const {// test if no stream operation has failed return (fail()); } void clear(iostate _State, bool _Reraise); void clear(iostate _State = goodbit); . . . . . . . . . . . . virtual ~ios_base(); protected: ios_base(); };

ios_base (cont) class ios_base: public _Iosb public: iostate rdstate() const; void setstate(iostate _State); bool good() const; bool eof() const; bool fail() const; bool bad() const; fmtflags flags() const; fmtflags flags(fmtflags _Newfmtflags); fmtflags setf(fmtflags _Newfmtflags); fmtflags setf(fmtflags _Newfmtflags,fmtflags _Mask); void unsetf(fmtflags _Mask); streamsize precision() const; streamsize precision(streamsize _Newprecision); streamsize width() const; streamsize width(streamsize _Newwidth); };

class basic_ios template class basic_ios: public ios_base { // base class for basic_istream/basic_ostream public: typedef basic_ios<_Elem, _Traits> _Myt; typedef basic_ostream<_Elem, _Traits> _Myos; typedef basic_streambuf<_Elem, _Traits> _Mysb; typedef ctype<_Elem> _Ctype; typedef _Elem char_type; typedef _Traits traits_type; typedef typename _Traits::int_type int_type; typedef typename _Traits::pos_type pos_type; typedef typename _Traits::off_type off_type; explicit basic_ios(_Mysb *_Strbuf); virtual ~basic_ios();// . . . . . protected: basic_ios(); private: basic_ios(const _Myt&); // not defined _Myt& operator=(const _Myt&); // not defined };

class basic_ios (cont) public: . . . . . . void clear(io_state _State); void setstate(io_state _State); _Myos tie() const; _Myos tie(_Myos *_Newtie); _Mysb * rdbuf() const; _Mysb * rdbuf(_Mysb *_Strbuf); _Elem fill() const; _Elem fill(_Elem _Newfill); private: _Mysb *_Mystrbuf; // pointer to stream buffer _Myos *_Tiestr; // pointer to tied output stream _Elem _Fillch; // the fill character };

Визначення базових потоків template > class basic_istream : virtual public basic_ios; typedef basic_istream > istream; template > class basic_ostream : virtual public basic_ios ; typedef basic_ostream > ostream; template > class basic_iostream : public basic_istream, public basic_ostream { public: explicit basic_iostream (basic_streambuf& *_Strbuf); virtual ~basic_iostream( ); }; typedef basic_iostream > iostream;