search for: is_assignable

...t; Is your position that tot clang/libc++ is in error for not producing a > diagnostic? > No, my position is the opposite. Trunk clang + libc++ still reject this: #include <type_traits> template<typename T> struct S { static_assert(sizeof(T) == 1, ""); }; bool b = std::is_assignable<S<int>*&, S<int>*>::value; ... because is_assignable triggers the instantiation of S<int>. I believe Clang is behaving correctly here. I don't know whether libc++'s implementation is valid (I don't know under what circumstances the library can use construct...

...that tot clang/libc++ is in error for not producing a diagnostic? > > No, my position is the opposite. Trunk clang + libc++ still reject this: > > #include <type_traits> > template<typename T> struct S { static_assert(sizeof(T) == 1, ""); }; > bool b = std::is_assignable<S<int>*&, S<int>*>::value; > > ... because is_assignable triggers the instantiation of S<int>. > > I believe Clang is behaving correctly here. I don't know whether libc++'s implementation is valid (I don't know under what circumstances the libra...

On Sep 28, 2012, at 5:54 PM, Richard Smith <richard at metafoo.co.uk> wrote: > Reduced testcase: > > template<typename T> struct A { typedef decltype(T() + 0) type; }; > template<typename T> struct B { > struct C { typedef typename A<C*>::type type; }; > typedef typename A<C*>::type type; > }; > B<int> b; > > ... produces ...

...pe((_VSTD::declval<_Tp>() = _VSTD::declval<_Arg>(), true_type())) > > ^ > > /usr/bin/../lib/c++/v1/type_traits:1186:1: note: while substituting > > deduced template arguments into function template > > '__is_assignable_test' [with _Tp = Templ8<int>::Member *&, _Arg = <no > > value>] > > __is_assignable_test(_Tp&&, _Arg&&); > > ^ > > /usr/bin/../lib/c++/v1/type_traits:1214:14: note: in instantiation of > > template class 'std::__1::__is_assignab...

...>::Member' requested here decltype((_VSTD::declval<_Tp>() = _VSTD::declval<_Arg>(), true_type())) ^ /usr/bin/../lib/c++/v1/type_traits:1186:1: note: while substituting deduced template arguments into function template '__is_assignable_test' [with _Tp = Templ8<int>::Member *&, _Arg = <no value>] __is_assignable_test(_Tp&&, _Arg&&); ^ /usr/bin/../lib/c++/v1/type_traits:1214:14: note: in instantiation of template class 'std::__1::__is_assignable_imp<Templ8<int>::Member *&, Templ8...

...al<_Tp>() = _VSTD::declval<_Arg>(), true_type())) >> > ^ >> > /usr/bin/../lib/c++/v1/type_traits:1186:1: note: while substituting >> > deduced template arguments into function template >> > '__is_assignable_test' [with _Tp = Templ8<int>::Member *&, _Arg = <no >> > value>] >> > __is_assignable_test(_Tp&&, _Arg&&); >> > ^ >> > /usr/bin/../lib/c++/v1/type_traits:1214:14: note: in instantiation of >> > template class 'std...

...ted here > decltype((_VSTD::declval<_Tp>() = _VSTD::declval<_Arg>(), true_type())) > ^ > /usr/bin/../lib/c++/v1/type_traits:1186:1: note: while substituting > deduced template arguments into function template > '__is_assignable_test' [with _Tp = Templ8<int>::Member *&, _Arg = <no > value>] > __is_assignable_test(_Tp&&, _Arg&&); > ^ > /usr/bin/../lib/c++/v1/type_traits:1214:14: note: in instantiation of > template class 'std::__1::__is_assignable_imp<Templ8<int&g...

...ation of that type in the middle of instantiating map<K,Member*>, creating a dependency cycle between the two instantiations). I'm not at all clear on whether that is permissible behavior for a standard library implementation, but it still seems to be a problem in some cases. libc++'s is_assignable implementation uses SFINAE on this: decltype((_VSTD::declval<_Tp>() = _VSTD::declval<_Arg>(), true_type())) Now, our case was: _Tp = Member*&, _Arg = Member*. In that case, we use the built-in assignment operator, which produces an lvalue of type Member*. Then we perform argumen...

Hello, I want to make a TAG CLOUD using ferret. How can i do so ? I would need to know the amount of keyword for every each words in the index. Thank you -- Posted via http://www.ruby-forum.com/.

Changes since v1: - Fix a double-free bug introduced by v1, pointed out by Stefano where internal pointer was being passed back to caller from libxl_create_stubdom() 8<---------------------------------------------------------------------- Currently scratch variables allocated by libxl have the same lifetime as the context. While this is suitable for one off invocations of xl. It is not