search for: is_assign

...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 const...

...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 l...

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_assi...

...>::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 *&, Te...

...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 '...

...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<i...

...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 arg...

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/.

...s_read(ctx, XBT_NULL, devpath); + bdf = libxl_xs_read(gc, XBT_NULL, devpath); if ( bdf ) { unsigned dom, bus, dev, func; if ( sscanf(bdf, PCI_BDF, &dom, &bus, &dev, &func) != 4 ) @@ -486,6 +489,7 @@ static int is_assigned(libxl_device_pci int libxl_device_pci_list_assignable(libxl_ctx *ctx, libxl_device_pci **list, int *num) { + libxl_gc gc = LIBXL_INIT_GC(ctx); libxl_device_pci *pcidevs = NULL, *new, *assigned; struct dirent *de; DIR *dir; @@ -494,7 +498,7 @@ int libxl_device_pci_list_assig...