函数式宏定义与类型检查

函数式宏定义的危害大家是有目共睹的,当函数式宏定义搭配上弱类型检查的函数式,使用起来就是悲剧。

例:#define PRINT(x) printf(“I am %s”,x)

 

当使用以上宏定义时,gcc的过程只会报一个warn,而并不会报error

我们可以从gcc的整个过程看一下,首先是预处理阶段:使用PRINT的代码会被文本替换为printf,然后就是编译阶段,编译阶段会进行类型检查,但printf是一个软类型函数,gcc只会提示一个waring,并不会报error,然后产出可执行文件。

当传入PRINT的参数是一个string类型时,在运行时就会报一个segment error

 

从上面问题上得到了一些结论:

1. gcc编译时还是采用-Wall –Werror这样的参数,这样可以保证最早发现问题。

2. 在以上的例子中,函数式宏定义并没有过错,问题出在宏定义采用的是软类型函数,当然在后续代码中最好避免函数式宏定义的方式,尽量采用函数式。

3. 对于弱类型函数尽量少使用,使用不当会遗留一些坑。

转载于:https://www.cnblogs.com/beifei/archive/2011/07/27/2118125.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: Haskell的容器类型和C的泛型有一些显著的差异: 1. 类型系统:Haskell是一门强类型的语言,因此在定义容器类型时,必须明确指定容器中存储的数据类型。而C的泛型类型则可以在编译时确定。 2. 可读性:Haskell的容器类型类型系统的基础上,提供了更好的可读性。这使得代码更加可靠,减少了代码错误。 3. 类型安全:Haskell的类型系统提供了更强的类型安全性,从而减少了类型相关的错误。 4. 抽象性:Haskell的容器类型更具抽象性,可以通过使用函数编程的技巧实现更复杂的数据结构。 5. 函数特性:Haskell是一门函数语言,因此它的容器类型函数编程的理念紧密相关。在Haskell中,容器类型函数结合使用可以实现高效、简洁和易于理解的代码。 总之,Haskell的容器类型与C的泛型有着显著的差异,但它们都是有效的数据结构实现方。 ### 回答2: Haskell的容器类型和C的泛型有以下几点区别: 1. 编程语言特性:Haskell是一种纯函数编程语言,而C是一种命令编程语言。Haskell的容器类型是通过类型系统来保证数据的一致性和不可变性的,而C的泛型是通过预处理器和指针转换来实现类型的参数化。 2. 内存管理:Haskell的容器类型天生支持垃圾回收,无需手动管理内存。而C的泛型需要手动分配和释放内存,并且容易出现内存泄漏和野指针等问题。 3. 表达能力:Haskell的容器类型可以很方便地表示和操作各种数据结构,比如列表、数组、映射等,同时还支持强大的模匹配和高阶函数。而C的泛型主要用于实现通用算法和数据结构,其表达能力相对较弱。 4. 可靠性和安全性:Haskell的容器类型由于静态类型检查的特性,能够在编译阶段发现大部分类型错误,提高代码的可靠性和安全性。而C的泛型则更容易出现类型相关的错误,并且由于指针操作和类型转换等特性,可能导致运行时错误和安全漏洞。 综上所述,Haskell的容器类型和C的泛型在语言特性、内存管理、表达能力、可靠性和安全性等方面存在显著差异。在使用这两种特性时,需要根据具体的需求和编程语言的特性进行选择。 ### 回答3: Haskell的容器类型与C语言的泛型有几个主要区别。 首先,Haskell的容器类型是静态类型的,而C语言的泛型是动态类型的。在Haskell中,每个容器类型都有一个特定的静态类型,比如List、Set或Map等。这意味着我们在编译时就可以确定容器中元素的类型,并在类型系统的帮助下进行类型安全的操作。而在C语言中,泛型是通过使用void指针来实现的,需要在运行时进行类型检查和转换,这可能会导致类型错误和性能下降。 其次,Haskell的容器类型支持高阶函数,而C语言的泛型不直接支持。在Haskell中,我们可以使用高阶函数来对容器进行各种操作,比如映射、过滤、折叠等。这使得代码更加简洁和可读,并且可以利用很多高级抽象来解决常见的问题。而在C语言中,泛型的实现相对较为低级,我们需要手动编写特定类型函数来处理容器中的元素。 最后,Haskell的容器类型具有更强大的类型推导能力。在Haskell中,编译器可以自动推导出容器中元素的类型,从而减少了显类型标注的需求。这使得代码更加简洁、易于编写和理解。而在C语言中,泛型的使用需要显地指定类型,增加了代码的冗余。 综上所述,Haskell的容器类型与C语言的泛型相比,具有静态类型、支持高阶函数和更强大的类型推导等优势。这些特性使得Haskell成为一个强大的函数编程语言,并提供了便捷而高效的容器操作方

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值