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

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

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

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

Просто для типа char b int можно было специализировать класс вектора.

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

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

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

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. Таким образом, нам надо вместо несколько аргументов шаблона писать только один дополнительный аргумент - класс свойств, который содержит в себе все нужные типы.

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

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

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);
};

Я хочу определить размер файла с помощь класса ifstream. Сам файл весит больше 5 Гб. Функция tellg() возвращает какое-то нереальное значение. Как можно правильно определить размер файла?