language-lawyer

3зной

2ответ

Возможное противоречие в определении с-полукокса в [lex.ccon]

[lex.ccon] содержит следующее определение с-полукокса: с-символ: любой член исходного характера кроме одинарной кавычки ’, обратной косой черты \ или символа новой строки

2зной

1ответ

Частичная специализация шаблона с параметрами нетиповых: GCC против МСВС

Рассмотрим простой шаблон специализации: template<typename T, size_t I> struct S {}; template<typename T> struct S<T, std::tuple_size<T>::value> {}; GCC не компилирует его, так как он использует

4зной

2ответ

Может ли компилятор C реализовать подписанный сдвиг вправо «необоснованно»?

Поля заголовка не достаточно долго, чтобы взятие подробного вопроса, так и для записи, мой фактического вопрос определяет «неразумным» определенным образом: Законно для C имеют арифметическое право оп

1зной

1ответ

Конструктор constexpr, относящийся к базовому классу, различается между компиляторами

Следующий код компилируется с использованием теста Clang (3.9.1) и GCC (6.3), как показано в этой ссылке: https://godbolt.org/g/kO1nBa. Тем не менее, MSVC (19.00.24215.1 испытание) не скомпилировать:

1зной

1ответ

Что такое <> снова после названия класса в декларации? ... template <B,C> класс D <C,B> {}

Я нашел a strange code о шаблоне в SO. Это похоже на объявление шаблона дважды. template <typename Tf, Tf F> class Collection; template <typename K, typename ... I, HashFunction<K, I...> F> //<-- #

1зной

1ответ

DR 2137 не ясно мне

В DR 2137 мы следующий тексте (курсив мой): Не ясно, в коде, как следующее, что при выборе копии/переместить конструктора является правильным выбором когда список инициализатор содержит один элемент т