AN
Size: a a a
AN
CD
template <class T>
void foo(T&& t)
{
static_assert (![]{});
}
int main() {
return 0;
}
D
template <class T>
void foo(T&& t)
{
static_assert (![]{});
}
int main() {
return 0;
}
🎄T
static_assert (0);же фейлится
D
static_assert (0);же фейлится
Е
template <class T>
void foo(T&& t)
{
static_assert (![]{});
}
int main() {
return 0;
}
&& false
тоже ситуацию не меняет?АК
template <class T>
void foo(T&& t)
{
static_assert (![]{});
}
int main() {
return 0;
}
VS
temp.res
, ни в expr.const
, ни в expr.prim.lambda
так и не нашел ответа, почему инстанциация лямбды откладываетсяVS
VS
АК
Local
- зависимый от T
тип и инстанцирование отложено?template <class T>
void f() {
struct Local {
static void call() {}
constexpr operator auto() { return &call; }
};
static_assert(!Local{});
}
AK
Local
- зависимый от T
тип и инстанцирование отложено?template <class T>
void f() {
struct Local {
static void call() {}
constexpr operator auto() { return &call; }
};
static_assert(!Local{});
}
АК
AK
АК
operator()
, не требующий this
(статический, формально), а также каст к указателю на функциюCD
Local
- зависимый от T
тип и инстанцирование отложено?template <class T>
void f() {
struct Local {
static void call() {}
constexpr operator auto() { return &call; }
};
static_assert(!Local{});
}
АК
CD
АК
VS