皮皮网

1.深入浅出C++模板元编程（3）
2.fortran与matlab究竟哪个好？
3.C++ BootSpirit库该如何使用

深入浅出C++模板元编程（3）

       1. 在前文中，模p模我们已经了解了SFINAE及其在函数重载中的板元编程板元编程应用。

       2. 本文将深入探讨如何使用expression SFINAE检测类的源码构造函数特性，特别是模p模默认构造函数的检查。

       3. 在C++中，板元编程板元编程Unevaluated Expression如typeid、源码唐能通源码sizeof、模p模noexcept和decltype，板元编程板元编程它们操作的源码表达式不会实际计算。

       4. 例如，模p模sizeof(std::cout&)实际上并不执行输出，板元编程板元编程只是源码获取表达式的类型信息。

       5. 这些操作符在编译时提供了对表达式类型进行检查但不执行的模p模光纤同轴源码输出能力，被称作"检视"而非计算。板元编程板元编程

       6. 在构造类对象时，源码即使在unevaluated context中，编译器会检查是否正确调用构造函数，包括析构函数。

       7. 比如，云端线源码尝试用一个无析构函数的类no_dtor构造一个对象，会因sizeof表达式中的错误而报错。

       8. 对于C风格数组和std::vector，动态扩容的数组允许存放没有默认构造函数的元素，而C风格数组则要求元素能段裂被默认构造。

       9. 我们可以通过元编程，dz论坛任务源码结合decltype进行SFINAE，来检测类是否具有默认构造函数。

       . 例如，通过尝试构造一个默认值，如果编译器可以接受，握好闭即表示有默认构造函数，兼职招聘系统源码否则为错误。

       . 元函数try_construct采用不同的重载版本，使用std::declval提供未被构造的值，避免直接调用构造函数，使得检测更为灵活。

       . 通过编译器检查这些表达式，我们能得到类的构造函数属性信息。

       . 进一步，std::declval的使用简化了我们提供构造参数的方式，尽管初始化语法复杂，但通过这个函数，我们可以优雅地处理检测任意类型构造函数的能力。

       . 然而，这些方法仅作为理解原理的工具，不建议直接用于生产代码，因为它们缺乏标准库的完整性和优化。

       . 最后，我们将继续探索void_t和更高级的SFINAE技巧，如concept库的实现，以提升代码的简洁性和功能性。

fortran与matlab究竟哪个好？

       .

       Fortran无疑是最快的，看看

       超级计算机

       上用的是什么就知道了。

       即使是C语言，在科学

       并行计算

       领域也远远比不上Fortran的速度，

       C++

       模板

       元

       编程技术

       勉强可以和Fortran一拼。

       但是Fortran学起来比Matlab慢，写程序也比Matlab慢，

       所以平时做一些小问题完全适于用Matlab而不是Fortran

       只有很大规模的（一天乃至几十天）运算量，才有必要换Fortran

       .

C++ BootSpirit库该如何使用

       çœ‹ä¸‹é¢çš„代码：这是元编程的起源：

       // Prime number computation by Erwin Unruh

       template <int i> struct D { D(void*); operator int(); };

       template <int p, int i> struct is_prime {

        enum { prim = (p==2) || (p%i) && is_prime<(i>2?p:0), i-1> :: prim };

       };

       template <int i> struct Prime_print {

       Prime_print<i-1> a;

        enum { prim = is_prime<i, i-1>::prim };

        void f() { D<i> d = prim ? 1 : 0; a.f();}

       };

       template<> struct is_prime<0,0> { enum { prim=1}; };

       template<> struct is_prime<0,1> { enum { prim=1}; };

       template<> struct Prime_print<1> {

        enum { prim=0};

        void f() { D<1> d = prim ? 1 : 0; };

       };

       #ifndef LAST

       #define LAST

       #endif

       main() {

        Prime_print<LAST> a;

        a.f();

       }

       åœ¨GNU C++ (MinGW Special) 3.2中编译这段程序时，编译器将会给出如下出错信息（以及其它一些信息，简短起见，它们被删除了）：

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = ]'

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = ]'

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = ]'

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = 7]'

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = 5]'

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = 3]'

       Unruh.cpp:: initializing argument 1 of `D<i>::D(void*) [with int i = 2]'

       è¿™ä¸ªä¾‹å­å±•ç¤ºäº†å¯ä»¥åˆ©ç”¨æ¨¡æ¿å®žä¾‹åŒ–机制于编译期执行一些计算。这种通过模板实例化而执行的编译期计算技术即被称为模板元编程。

       æ¨¡æ¿å…ƒç¼–程（Template Metaprogramming）更准确的含义应该是“编‘可以编程序的’程序”，而模板元程序（Template Metaprogram）则是“‘可以编程序的’程序”。也就是说，我们给出代码的产生规则，编译器在编译期解释这些规则并生成新代码来实现我们预期的功能。