如何在C++中定义一个在类体之外的专用类方法？
我有一个模板类a
及其用于整型参数的专门化。类及其专门化都声明了foo()方法，我希望在类体之外定义它：
#include <concepts>
template<class T>
struct A { static void foo(); };
template<std::integral T>
struct A<T> { static void foo(); };
template<class T>
void A<T>::foo() {}
template<std::integral T>
void A<T>::foo() {}
int main() { A<int>::foo(); }
error: type constraint differs in template redeclaration
template<std::integral T>
error C3855: 'A<T>': template parameter 'T' is incompatible with the declaration
error C2447: '{': missing function header (old-style formal list?)
error C2065: 'foo': undeclared identifier
请建议如何在类体之外定义方法，并使所有编译器高兴？
共有1个答案
我不是一个C++模板专家，我尝试了如下内容
template<class T, bool = std::is_integral_v<T>>
struct A
{};
template<class T>
struct A<T, false>
{
static void foo();
};
template<class T>
struct A<T, true>
{
static void foo();
};
template<class T>
void A<T,false>::foo()
{
std::cout << "I am working on a non-integral type" << std::endl;
}
template<class T>
void A<T, true>::foo()
{
std::cout << "I am working on an integral type" << std::endl;
}
int main()
{
A<int>::foo();
A<float> ::foo();
return 0;
}
代码给出了在MS C++编译器上的结果
I am working on an integral type
I am working on a non-integral type
-
问题内容： 我可以在类定义之外创建，甚至可以在另一个模块中创建吗？ 问题答案： 是。您可以在类外部定义函数，然后在类主体中将其用作方法： 您也可以在定义一个函数后将其添加到类中： 您可以根据需要在不同的模块中定义函数和类，但是我建议不要在一个模块中定义该类，然后再将其导入另一个模块中并向其中动态添加方法（如第二个示例），因为那样的话d根据是否已导入另一个模块，其行为与类具有令人惊讶的不同。 我要指
-
在阅读了诸如sfinae关于在类主体之外定义的成员函数（这不是同一个问题）等问题之后，我仍然没有找到在使用sfinae方法仅使用算术类型启用类时在类声明之外定义成员函数主体的好方法。 在本例中，我得到错误：
-
这是一个与实现相关的问题，或者我可能想多了。假设我有一个子类继承了父类。根据我的理解，它将继承父类的方法定义，而不是构造函数。我们需要通过超级方法调用提供或编译器将提供构造函数。我们这样做的原因是，如果没有父类对象实例，我们从子类中的父类获得的方法定义将不存在。 这是否意味着，当我调用父类对象定义的方法（该方法尚未在子类中重写）时，将在父对象实例的子类内部调用？我在想，由于子类会调用父类构造函数并
-
问题内容： 在Python中，该类充当所有（新样式）类的根超类。至少默认情况下，将和应用于的任何子类的“类实例”会产生相同的结果： 我想定义一个的子类，例如，它在每种方式上都是相同的，除了对自身和产生不同的输出： 有没有办法在Python中做到这一点？ PS：我知道特殊的方法，但是据我了解，如果类重写，则仅当在的实例上调用时才调用覆盖方法，而不是在自身上调用时。即： 问题答案： 实际上，与对象实例
-
我刚开始使用Java，到处搜索，但无论出于何种原因都无法找到解决方案。我的问题对我来说似乎很简单：我在同一个文件夹中有两个类，该文件夹是我的包，为了说明： 我需要在第2类中创建第1类的实例，但它就是不起作用。这是一个示例： 文件路径： 文件路径： 我得到这个错误 根据要求，完整的源代码：注：class1=ClientIndividual，class2=涉众 第一个文件 第二个文件 第三个文件（接口
-
问题内容： 很简单，我正在学习Python，但是找不到可以告诉我如何编写以下内容的参考： 后来： 这是一个具有以下属性的班级团队：名称/徽标/成员 编辑 经过几次尝试，我得到了： 后来 这是Python方式吗？感觉很奇怪（当然来自强类型语言）。 问题答案： 在Python中，通常不编写getter和setter，除非您确实为它们提供了一个简单的实现（此时使用属性描述符）。
-
类是用于描述事物的的属性和行为的，而 Go 语言中的结构体正好可以用于描述事物的属性和行为 所以在 Go 语言中我们使用结构体来定义一个类型 type Person struct { name string // 人的属性 age int // 人的属性 } // 人的行为 func (p Person)Say() { fmt.Println("my name
-
问题内容： 我想创建一个类，作为的内部类，但是我想写下外部文件。 我怎样才能做到这一点？ 这将是很多内部类，而文件将是 巨大的 。 更新 我真正想做的是定义十个类，它们只能由一个类访问。所有这些都在同一包内定义。 谢谢。 问题答案： 将所有类放入包中，并将这些类定义为包私有。 注意没有关键字吗？如果创建类Hello的实例在包中，则您将只能创建该实例的实例。