Смещение с адреса памяти

Question

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

static bool lt(wchar_t a, wchar_t b) 
{ 
    const std::collate<wchar_t>& coll = 
     std::use_facet< std::collate<wchar_t> >(std::locale()); 
    return coll.compare(&a, &a+1, &b, &b+1) < 0; 
} 

Последняя строка - это вопрос. Почему необходимо, чтобы он это делал, это законно, и когда это нужно делать?

Answer 1

Похоже, что автор просто хотел сравнить два символа с использованием текущей глобальной локали.

Поскольку std::collate<T>::compare использует [низкий, высокий уровень) для двух диапазонов, добавление 1 к адресу параметров просто приведет к остановке сравнения после того, как только a будет сравниваться с b. Не должно быть недопустимых обращений к памяти.

Answer 2

какая книга вы читаете, плюс это зависит от того, что вы тоже сравниваете!

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

Answer 3

Тестирование функции

#include <locale> 

static bool lt(wchar_t a, wchar_t b) 
{ 
    const std::collate<wchar_t>& coll = 
     std::use_facet< std::collate<wchar_t> >(std::locale()); 
    return coll.compare(&a, &a+1, &b, &b+1) < 0; 
} 


int main() { 

    bool b = lt('a', 'b'); 
    return 0; 
} 

Внутри отладчика

Breakpoint 1, main() at test.cpp:13 
13  bool b = lt('a', 'b'); 
(gdb) s 
lt (a=97 L'a', b=98 L'b') at test.cpp:6 
6   std::use_facet< std::collate<wchar_t> >(std::locale()); 
(gdb) p &a 
$1 = 0x7fffffffdddc L"a\001翿\x400885" 
(gdb) p &a+1 
$2 = 0x7fffffffdde0 L"\001翿\x400885" 

Из этого я считаю,

1. код является законным
2. но &a + 1 имеет в виду, возможно, неинициализированного памяти

Из того, что GDB возвращается я склонен думать, принимая адрес wchar_t возвращает char* таким образом &a (a является wchar_t) является char* к началу переменной многобайтном что is a и &a+1 возвращает указатель на второй байт. Я прав?