模板约束 C++

2021-12-13 00:00:00 constraints templates c++

在 C# 中,我们可以定义一个泛型类型,该类型对可用作泛型参数的类型施加约束.以下示例说明了通用约束的用法:

In C# we can define a generic type that imposes constraints on the types that can be used as the generic parameter. The following example illustrates the usage of generic constraints:

interface IFoo
{
}


class Foo<T> where T : IFoo
{
}

class Bar : IFoo
{
}

class Simpson
{
}

class Program
{
    static void Main(string[] args)
    {
        Foo<Bar> a = new Foo<Bar>();
        Foo<Simpson> b = new Foo<Simpson>(); // error CS0309
    }
}

有没有办法可以对 C++ 中的模板参数施加约束.

Is there a way we can impose constraints for template parameters in C++.

C++0x 对此有本机支持,但我说的是当前的标准 C++.

C++0x has native support for this but I am talking about current standard C++.

推荐答案

正如其他人提到的,C++0x 正在将其内置到语言中.在那之前,我会推荐 Bjarne Stroustrup 的 模板约束建议.

As someone else has mentioned, C++0x is getting this built into the language. Until then, I'd recommend Bjarne Stroustrup's suggestions for template constraints.

Boost 也有一个 自己的替代品.

Edit2:看起来 概念已从 C++ 中删除0x.

Looks like concepts have been removed from C++0x.

相关文章