[libcxx-dev] could you plz answer my question about __is_trivially_constructible(Tp) in type_traits header file

JF Bastien via libcxx-dev libcxx-dev at lists.llvm.org
Wed Jan 23 09:21:52 PST 2019


It’s a compiler builtin, implemented here: https://github.com/llvm/llvm-project/blob/2946cd701067404b99c39fb29dc9c74bd7193eb3/clang/lib/Sema/SemaExprCXX.cpp#L4913 <https://github.com/llvm/llvm-project/blob/2946cd701067404b99c39fb29dc9c74bd7193eb3/clang/lib/Sema/SemaExprCXX.cpp#L4913>


> On Jan 23, 2019, at 1:18 AM, 李苏旺 via libcxx-dev <libcxx-dev at lists.llvm.org> wrote:
> 
> hi  man , 
>    
>      With all due respect I saw you have ever committed some code to LLVM project)(https://github.com/llvm-mirror/libcxx/blob/master/include/type_traits <https://github.com/llvm-mirror/libcxx/blob/master/include/type_traits>) , I am reading the source code about meta-programming in the file - type_traits
> in the line number 3445 , "__is_trivially_constructible<...>" is curious to me , but I can not find the definition of the value , could you
> please tell where I can find the definition about 
> 
> __is_trivially_constructible
> 
> ?
> 
> template <class _Tp, class... _Args>
> struct _LIBCPP_TEMPLATE_VIS is_trivially_constructible
>     : integral_constant<bool, __is_trivially_constructible(_Tp, _Args...)>
> {
> };
> 
> similarly,  if I can understand the meaning of "__is_trivially_constructible" , I can understand __is_trivial ,__is_trivially_copyable , etc
> 
> thank you in advance . 
> 
> _______________________________________________
> libcxx-dev mailing list
> libcxx-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/libcxx-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/libcxx-dev/attachments/20190123/80764385/attachment.html>


More information about the libcxx-dev mailing list