static-assert

2зной

2ответ

Static утверждать, что объект-компаньон передается как AnyRef

Для akka-подобных фреймворков это довольно распространенная ситуация с опечатками, когда объект-компаньон отправляется или сопоставляется (ожидается) вместо экземпляра класса case и наоборот. с кодом,

scala static-assert 2014-12-22

---

0зной

1ответ

Как проверить, что static assert действительно утверждает для «false»?

Предположим, у меня есть пользовательская реализация static assert (потому что мне нужно настроить таргетинг на компилятор, у которого нет встроенного static_assert). Я хочу провести испытание, которо

c++ unit-testing static-assert 2014-11-07

---

0зной

1ответ

Почему «static_assert» всегда вызывается?

Если USE_STATIC_ASSERT is 0, это работает как ожидается (получение индексированного типа из списка). Если 1 static_assert() всегда срабатывает. Я бы подумал, что static_assert() произойдет, только есл

c++ c++11 static-assert 2015-01-02

---

0зной

2ответ

static_assert отрицательное целое

#include <iostream> using namespace std; template <int fact> constexpr int pow2T() { static_assert(fact < 0, "error"); return fact == 0 ? 1 : pow2T<fact - 1>() * 2; } constexpr int e2 =

c++ static-assert 2015-01-07

---

3зной

2ответ

Почему static_assert в шаблоне дает мне другой результат с эквивалентными выражениями?

Я заметил странное поведение static_assert: #include <iostream> template <typename T, unsigned int D> struct Vec { static_assert(D && 0, "Invalid dimension for vector!"); }; template <typen

c++ templates gcc static-assert 2015-01-09

---

2зной

2ответ

Почему возникает ошибка «конфликтующей декларации» с использованием двух и более статических утверждений на основе typedef с функцией gcc и template?

У меня есть следующий код (нет, шаблон не инстанцированный в любом месте): #define cAssert(expr) typedef char __C_ASSERT__[(expr)?1:-1] template<int t> void f() { cAssert(t != 0); cAsser

c++ templates gcc static-assert 2015-01-19

---

2зной

1ответ

Есть ли что-нибудь вроде C++ static_assert для Haxe?

Я хочу делать утверждения времени компиляции в Haxe. Было бы хорошо, чтобы сделать что-то вроде: static inline var important_number = 42; public function f():Void { static_assert(important_numb

haxe static-assert 2015-01-24

---

0зной

1ответ

static_assert с зависимым выражением, которое фактически не зависит

Рассмотрим следующий шаблон: template <typename T> void foo() { static_assert(sizeof(T) == 0, "Now what?"); } Стандарт (§7.4) говорит: [Если условие ложно static_assert] программа (1.4) долже

c++ templates c++11 language-lawyer static-assert 2014-12-07

---