机械网站建设营销,ppt设计接单,河北省建设机械协会官方网站,国内网站搭建两年前#xff0c;笔者因为项目原因刚开始接触C#xff0c;当时就在想#xff0c;如果C有类似C#中的泛型限定就好了#xff0c;能让代码简单许多。我也一度认为#xff1a;
虽然C有模板类#xff0c;但是却没办法实现C#中泛型特有的 where 关键词#xff1a;
public c…两年前笔者因为项目原因刚开始接触C当时就在想如果C有类似C#中的泛型限定就好了能让代码简单许多。我也一度认为
虽然C有模板类但是却没办法实现C#中泛型特有的 where 关键词
public class Parent { /* ... */ }
public class Child : Parent { /* ... */ }
public class AnotherClass { /* ... */ }public class GenericClassT where T : Parent
{public static void DoSomething(T item) { }
}static void Main(string[] args)
{Child c new Child();AnotherClass a new AnotherClass();GenericClassParent.DoSomething(c);GenericClassChild.DoSomething(c);GenericClassAnotherClass.DoSomething(); // --- 报错
}但实际上C通过不仅能做到这部分内容而且比C#能做的还要更多。而且很多内容甚至是可以在Compile Time就能做到限制的 —— 不用等到代码跑起来编译的时候就能够告诉你代码哪里有问题。
C实现这部分功能所涉及到的技术就是 Metaprogramming直译过来是“元编程”。
我相信 元编程 这个名字对于大多数人来说是没有意义的就好像我们第一次听到某种深海动物名字一样它叫什么不重要重要的是它是什么。
比如我现在向大家介绍一种深海动物“须蛸”。如果我不放这个图“须蛸”这个名字就是没有任何意义的 (放了这图似乎也没多大意义但是至少你更加信服这个名字不是我瞎编的了)。 所以什么是元编程 元编程是对代码的编程 元编程英文里的Meta可以认为是“超级”的意思这里的“超级”应该不是指“能力强过、高过”亦不是说“凌驾于xxx之上”的意思。
在我个人理解里Metaprogramming技术本身并非高明于我们平时的普通编程技术它只是思维方式不一样。但不幸的是C的Metaprogramming是一只披着C语言外皮的“狼”需要完全用另一套思维逻辑去思考/实现的另一个编程领域所以笔者认为这也是为什么许多C用了许多年的人谈到Metaprogramming这个领域时仍噤若寒蝉——因为它们压根不是一个东西只是恰好语法底层用到的是同一套东西而已——而且在实际工作中你可以完全不使用该内容而写好自己的代码只不过在某些情况可能要多付出一点体力劳动……不过有Vim在那也不是什么大问题嘛。
说到Meta的“超级”的含义Metaprogramming在我这里十分像优化领域里的Hyperparameter Optimization 超参数优化里的“Hyper” —— 同样是“超级”的意思同样的超参数优化也不是说它本身相较于普通的参数优化有什么更深奥的技术只不过是Optimization的参数的Optimization优化参数的优化所以就用差不多的技术在对不同的目标套了一层。 巧了么不是Metaprogramming是对普通programming的programming我觉得起名叫Hyperprogramming也是挺不错的。而且他俩都有一个共同点那就是特别烧脑都要在原有的概念上嵌套一层。
好了说了这么多那倒底啥是Metaprogramming下面就举个简单的例子我们用C#来实现它简单说说啥是Metaprogramming。 什么是Metaprogramming 现在我们要写个程序需求是
能够返回正整数1-5的平方。
普通编程的方法是
int ReturnSquare(int i) i * i;Metaprogramming的方法是 写一个Console程序输出一个cs文件
static void Main(string[] args)
{using var fs File.Create(d:\square.cs, FileMode.Create);using var sr new StreamWriter(fs);sr.AppendLine(int ReturnSquare(int i) i * i);sr.Flush();
}这就是Metaprogramming。 ??? 是的这就是Metaprogramming。 不过这只是最广义上的概念但这个概念的确如此 —— 用代码去写代码。这个技术就是Metaprogramming。
我们一般说C的Metaprogramming是指 “使用C的模版技术来借助编译器在编译时帮我们生成、检查代码”。 笔者这里再插一段C#也是有模版的也是需要借助编译器才可以感兴趣的读者可以自行搜索“C# Text Template”或者官方链接 https://learn.microsoft.com/en-us/visualstudio/modeling/code-generation-and-t4-text-templates?viewvs-2022 对于Metaprogarmming的介绍今天就先到这里了后面有想到的会继续补充下面的时间留给标题里的内容。
我是被标题吸引的我要C实现泛型限定
限定Parent类
#include type_traitsclass Parent{};
class Child : public Parent{};
class AnotherClass {};namespace hidden {template bool b, typename Tstruct Helper{static void DoSomething(T item) delete;};template typename Tstruct Helpertrue, T{static void DoSomething(T item){// ...}};
}template typename T
using Generic hidden::Helperstd::is_base_of_vParent, T, T;int main()
{Child c;AnotherClass a;GenericParent::DoSomething(c);GenericAnotherClass::DoSomething(a); // -- 报错
}限定 “类里必须要有Foo函数” 才可使用 // 具备成员函数Foo
class HasFoo
{
public:int Foo();
};// 不具备成员函数Foo仅有静态函数Foo
class StaticFoo
{
public:static int Foo();
};
// 啥也没有
class NoFoo { };template typename, typename void
struct has_foo_function_member_or_static : false_type {};template typename T
struct has_foo_function_member_or_staticT, void_tdecltype(T::Foo) : true_type {};template typename T
using has_foo_function_member std::conditional_thas_foo_function_member_or_staticT::value,std::is_member_function_pointerdecltype(T::Foo),false_type;int main()
{static_assert(has_foo_function_memberHasFoo::value, );//static_assert(has_foo_function_memberStaticFoo::value, ); // compile time err//static_assert(has_foo_function_memberNoFoo::value, ); // compile time errstatic_assert(has_foo_function_member_or_staticHasFoo::value, ); // compile time errstatic_assert(has_foo_function_member_or_staticStaticFoo::value, ); // compile time err//static_assert(has_foo_function_member_or_staticNoFoo::value, ); // compile time err
}
好了我们下次再见。
