zoukankan      html  css  js  c++  java
  • 用C语言模仿Python函数

    首先得说明一点,C 语言不是函数式编程语言,要想进行完全的函数式编程,还得先写个虚拟机,然后再写个解释器才行(相当于 CPython )。

    下面我们提供一个例子,说明即便不写虚拟机, C 语言函数也是可以“适度地模仿” Python 函数。

    我们有如下的 Python 程序:

    1 def line_conf(a, b):
    2     def line(x):
    3         return a*x + b
    4     return line
    5 
    6 line1 = line_conf(1, 1)
    7 line2 = line_conf(4, 5)
    8 print(line1(5), line2(5))
    Python Code

    我们在C程序中适度地模拟其中的line_conf函数:

      1 /* MIT License
      2 
      3 Copyright (c) 2017 Yuandong-Chen
      4 
      5 Permission is hereby granted, free of charge, to any person obtaining a copy
      6 of this software and associated documentation files (the "Software"), to deal
      7 in the Software without restriction, including without limitation the rights
      8 to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
      9 copies of the Software, and to permit persons to whom the Software is
     10 furnished to do so, subject to the following conditions:
     11 
     12 The above copyright notice and this permission notice shall be included in all
     13 copies or substantial portions of the Software.
     14 
     15 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
     16 IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
     17 FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
     18 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
     19 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
     20 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
     21 SOFTWARE. */
     22 
     23 ///////////////////////////////////////////////////////////////////////////////
     24 
     25 // Note: The C program is almost equivalent to the Python program as follows:
     26 // def line_conf(a, b):
     27 //     def line(x):
     28 //         return a*x + b
     29 //     return line
     30 //
     31 // line1 = line_conf(1, 1)
     32 // line2 = line_conf(4, 5)
     33 // print(line1(5), line2(5))
     34 
     35 #include <stdio.h> 
     36 #include <stdlib.h> 
     37 #include <unistd.h> 
     38 #include <stdarg.h>
     39 
     40 typedef int Func();
     41 
     42 Func *line_conf(int x, int y,...)
     43 { 
     44     va_list ap; 
     45     va_start(ap, y);
     46 
     47     asm volatile(
     48         "push %%eax
    	"
     49         "subl $40, %%esp
    	"
     50         "movl 8(%%ebp), %%eax
    	"
     51         "movl %%eax, -36(%%ebp)
    	"
     52         "movl 12(%%ebp), %%eax
    	"
     53         "movl %%eax, -40(%%ebp)
    	"
     54         "addl $40, %%esp
    	"
     55         "pop %%eax
    	"
     56         :::"memory"
     57         );
     58 
     59 if(va_arg(ap,int) == 1){
     60 
     61 LINE:
     62 
     63     asm volatile(
     64         "push %%ebp
    	"
     65         "movl %%esp, %%ebp
    	"
     66         "movl 8(%%ebp), %%eax
    	"
     67         "imul -36(%%ebp), %%eax
    	"
     68         "addl -40(%%ebp), %%eax
    	"
     69         "movl %%ebp, %%esp
    	"
     70         "pop %%ebp
    	"
     71         "ret
    	"
     72         :::"memory","%eax"
     73         );
     74 }   
     75 __END:  
     76     va_end(ap);
     77     return (Func *)(&&LINE);
     78 }
     79 
     80 int main(int argc, const char *argv[]){  
     81     printf("====TEST START====
    ");
     82     printf("34*234+6 ?= %d
    ",line_conf(34,6)(234));
     83     printf("1*3+2 ?= %d; 324*65+3 ?= %d; 13*66+2 ?= %d
    ",line_conf(1,2)(3),line_conf(324,3)(65),line_conf(13,2)(66));
     84 
     85     int fd = line_conf(1,6)(4);
     86     Func *fun = line_conf(3,3);
     87     int a = 1;  // Limited point
     88     printf("3*3+3 ?= %d; 1*4+6 ?= %d
    ",fun(3),fd);
     89     printf("====TEST END====
    ");
     90     return 0;  
     91 }
     92 
     93 // Compile it by the following command:
     94 // gcc -m32 -O0 -fno-stack-protector CFunctional.c; ./a.out
     95 // The terminal output should looks like:
     96 // ====TEST START====
     97 // 34*234+6 ?= 7962
     98 // 1*3+2 ?= 5; 324*65+3 ?= 21063; 13*66+2 ?= 860
     99 // 3*3+3 ?= 12; 1*4+6 ?= 10
    100 // ====TEST END====
    101 //Note: The limitation happens between line 86 and line 88, we cannot insert any function here
    102 // whose stack is larger than 40 bytes.(Why is 40? check the inline assembler language)
    C Code

    结果在MacOSX和Ubuntu上(i386)都能通过简单的测试。但是可以看到,仅仅是简单的模拟,我们也得用到大量(按比例)的汇编,可读性很差,而且模拟程度非常有限,代码长度也更长。

    注意:这只是个玩具,别这么写代码,除非想搞破坏(充斥着各种漏洞,极易被侵入)。

  • 相关阅读:
    返回页面顶部的方法
    一个获取当前 url 查询字符串中的参数的方法
    那些让你看起来很牛逼的Docker使用技巧
    Docker 1.13 新特性 —— Docker服务编排相关
    docker1.13新功能network关注点
    Docker 1.13 最实用命令行:终于可以愉快地打扫房间了
    Docker 1.13 – 新增功能大揭秘
    Docker 1.13 编排能力进化
    Docker
    Docker
  • 原文地址:https://www.cnblogs.com/github-Yuandong-Chen/p/6848531.html
Copyright © 2011-2022 走看看