376

Let's say I have, or am going to write, a set of related functions. Let's say they're math-related. Organizationally, should I:

  1. Write these functions and put them in my MyMath namespace and refer to them via MyMath::XYZ()
  2. Create a class called MyMath and make these methods static and refer to the similarly MyMath::XYZ()

Why would I choose one over the other as a means of organizing my software?

4
  • 6
    for one thing, namespaces are more recent addition to the language, compared to classes and static methods, which were in the language from the time it was called "C with classes". Some programmers may be more comfortable with older features. Some other programmers may be using old compilers. Just my $.02 Commented Sep 16, 2009 at 19:19
  • 28
    @Rom: You're right about "old programmers", but wrong about "old compilers". Namespaces are correctly compiled since eons (I worked with them with Visual C++ 6, dating from 1998!). As for the "C with classes", some people in this forum weren't even born when that happened: Using this as an argument to avoid a standard and widespread C++ feature is a fallacy. In conclusion, only obsolete C++ compilers don't support namespaces. Don't use that argument as an excuse to not use them. Commented Sep 16, 2009 at 20:10
  • 1
    @paercebal: some ancient compilers are still in use in embedded world. Not supporting namespaces is probably one of the smallest inconveniences one needs to put up with while writing code for various small CPUs which everyone interacts with every day: your stereo, your microwave, engine control unit in your car, traffic light, etc. Just to be clear: I'm not advocating for not using a better, newer compilers everywhere. Au conrare: I'm all for newest language features (except RTTI ;) ). I'm just pointing out that such a tendency exists Commented Sep 16, 2009 at 23:38
  • 14
    @Rom: In the current case, the question author has the choice, so apparently, none of his/her compilers fails to compile a namespaced code. And as this is a question about C++, a C++ answer must be given, including mentioning namespaces and RTTI solutions to the problem if needed. Giving a C answer, or a C-with-classes-for-obsolete-compilers answer is out of topic. Commented Jan 21, 2011 at 18:19

10 Answers 10

295

By default, use namespaced functions.

Classes are to build objects, not to replace namespaces.

In Object Oriented code

Scott Meyers wrote a whole Item for his Effective C++ book on this topic, "Prefer non-member non-friend functions to member functions". I found an online reference to this principle in an article from Herb Sutter: http://www.gotw.ca/gotw/084.htm

The important thing to know is that: In C++, functions that are in the same namespace as a class is, and that have that class as a parameter, belong to that class' interface (because ADL will search those functions when resolving function calls).

For example:

  • let's say you have a namespace N
  • let's say you have a class C, declared in namespace N (in other words, its full name is N::C)
  • let's say you have a function F, declared in namespace N (in other words, its full name is N::F)
  • let's say that function F has, among its parameters, a parameter of type C

... Then N::F is part of N::C's public interface.

Namespaced functions, unless declared "friend," have no access to the class's internals, whereas static methods have the right to access the class's internals.

This means, for example, that when maintaining your class, if you need to change your class' internals, you will need to search for side effects in all its methods, including the static ones.

Extension I

Adding code to a class' interface.

In C#, you can add methods to a class even if you have no access to it. But in C++, this is impossible.

But, still in C++, you can still add a namespaced function, even to a class someone wrote for you.

See from the other side, this is important when designing your code, because by putting your functions in a namespace, you will authorize your users to increase/complete the class' interface.

Extension II

A side-effect of the previous point, it is impossible to declare static methods in multiple headers. Every method must be declared in the same class.

For namespaces, functions from the same namespace can be declared in multiple headers (the almost-standard swap function is the best example of that).

Extension III

The basic coolness of a namespace is that in some code, you can avoid mentioning it, if you use the keyword using:

#include <string>
#include <vector>

// Etc.
{
   using namespace std ;
   // Now, everything from std is accessible without qualification
   string s ; // Ok
   vector v ; // Ok
}

string ss ; // COMPILATION ERROR
vector vv ; // COMPILATION ERROR

And you can even limit the "pollution" to one class:

#include <string>
#include <vector>

{
   using std::string ;
   string s ; // Ok
   vector v ; // COMPILATION ERROR
}

string ss ; // COMPILATION ERROR
vector vv ; // COMPILATION ERROR

This "pattern" is mandatory for the proper use of the almost-standard swap idiom.

And this is impossible to do with static methods in classes.

So, C++ namespaces have their own semantics.

But it goes further, as you can combine namespaces in a way similar to inheritance.

For example, if you have a namespace A with a function AAA, a namespace B with a function BBB, you can declare a namespace C, and bring AAA and BBB in this namespace with the keyword using.

You can even bring the full content of a namespace inside another, with using namespace, as shown with namespace D!

namespace A
{
   void AAA();
   void AAA2();
}

namespace B
{
   void BBB();
}

namespace C
{
   using A::AAA;
   using B::BBB;
}

namespace D
{
   using namespace A;
   using namespace B;
}

void foo()
{
   C::AAA();
   // C::AAA2(); // ERROR, won't compile
   C::BBB();
}

void bar()
{
   D::AAA();
   D::AAA2();
   D::BBB();
}

Conclusion

Namespaces are for namespaces. Classes are for classes.

C++ was designed so each concept is different, and is used differently, in different cases, as a solution to different problems.

Don't use classes when you need namespaces.

And in your case, you need namespaces.

Sign up to request clarification or add additional context in comments.

13 Comments

Can this answer be applied to threads too, i.e. is it better to use namespaces rather than static methods for threads?
@dashesy : namespaces vs. static methods have nothing to do with threads, so yes, namespaces are better because namespaces are almost always better then static methods. If one thing, static methods have access to class member variables, so they somehow have a lower encapsulation value than namespaces. And isolating data is even more important in threaded execution.
@dashesy : You are asking for trouble. What you want with different threads is to isolate the data that is not supposed to be shared, so having multiple threads having privilegied access to the private data of a class is a bad idea. I would hide one thread inside a class, and make sure to isolate the data for that thread from the data for the main thread. Of course, data that is supposed to be shared then can be members of that class, but they still should be synchronized (locks, atomic, etc.). I'm not sure about how much libs you have access to, but using tasks/async is even better.
paercebal's answer should be the accepted one ! Just one more link for the almost standard swap() via namespace + ADL -> stackoverflow.com/questions/6380862/…
@paercebal , If possible could you please paraphrase or elaborate on In C++ functions in the same namespace as a class belong to that class' interface ... I tried to understand this sentence but I think something is wrong with that (maybe it's missing a comma ',' somewhere). Sincere apology if the sentence is 100% right and I'm mistaken. In that case, would really appreciate your help, if you could paraphrase it a little bit. Thank you so much in advance!
|
65

There are a lot of people who would disagree with me, but this is how I see it:

A class is essentially a definition of a certain kind of object. Static methods should define operations that are intimately tied to that object definition.

If you are just going to have a group of related functions not associated with an underlying object or definition of a kind of object, then I would say go with a namespace only. Just for me, conceptually, this is a lot more sensible.

For instance, in your case, ask yourself, "What is a MyMath?" If MyMath does not define a kind of object, then I would say: don't make it a class.

But like I said, I know there are plenty of folks who would (even vehemently) disagree with me on this (in particular, Java and C# developers).

11 Comments

You have a very pure perspective on this. But practically speaking, a class with all-static methods can come in handy: you can typedef them, use them as template parameters, etc.
That's becuase Jave and C# people don't have a choice.
@shog9. You can templatize functions as well!
@Dan: presumably, one that needed math routines and wanted to support "plugging in" different implementations.
@Dan: "I think if somebody's interested in using a class as a template parameter, that class is almost surely defining some underlying object." No, not at all. Think of traits. (Nevertheless, I fully agree with your answer.)
|
21
  • If you need static data, use static methods.
  • If they're template functions and you'd like to be able to specify a set of template parameters for all functions together then use static methods in a template class.

Otherwise, use namespaced functions.


In response to the comments: yes, static methods and static data tend to be over-used. That's why I offered only two, related scenarios where I think they can be helpful. In the OP's specific example (a set of math routines), if he wanted the ability to specify parameters - say, a core data type and output precision - that would be applied to all routines, he might do something like:

template<typename T, int decimalPlaces>
class MyMath
{
   // routines operate on datatype T, preserving at least decimalPlaces precision
};

// math routines for manufacturing calculations
typedef MyMath<double, 4> CAMMath;
// math routines for on-screen displays
typedef MyMath<float, 2> PreviewMath;

If you don't need that, then by all means use a namespace.

6 Comments

so called static data can be namespace level data in the implementation file of the namespace, this reduces coupling even more since it doesn't have to show up in the header.
Static data is no better than namespace-scope globals.
@coppro. They are at least one step up the evolutionary chain from random globals as they can be made private (but otherwise agree).
@Motti: OTOH, if you want it in the header (inline / template functions), you're back to being ugly about it.
Interesting example, using a class as a shorthand to avoid repeating template arguments!
|
12

You should use a namespace, because a namespace has the many advantages over a class:

  • You don't have to define everything in the same header
  • You don't need to expose all your implementation in the header
  • You can't using a class member; you can using a namespace member
  • You can't using class, though using namespace is not all that often a good idea
  • Using a class implies that there is some object to be created when there really is none

Static members are, in my opinion, very very overused. They aren't a real necessity in most cases. Static members functions are probably better off as file-scope functions, and static data members are just global objects with a better, undeserved reputation.

9 Comments

"You don't need to expose all your implementation in the header" neither you do when you use a class.
Even more: If you're using namespaces you can't expose all your implementation in the header (you'll end up with multiple definition of symbols). Inline class-member functions allow you to do that.
@Vanuan: You can expose namespace implementations in the header. Just use the inline keyword to satisfy ODR.
@ThomasEding don't need != can
@Vanuan: Only one thing is guaranteed by the compiler when using inline, and it is NOT "inlining" a function's body. The real (and guaranteed by the standard) purpose of the inline is to prevent multiple definitions. Read about "One Definition Rule" for C++. Also, the linked SO question wasn't compiling due to precompiled header issues instead of ODR issues.
|
7

I want to summarize and add to other answers. Also, my perspective is in the world of header-only.


Namespaces

Pros:

  • simple solution for naming hierarchies
  • they carry no semantics, so it is simpler to read
  • can live in different files (headers)
  • can be extended
  • ADL
  • shortcut can be defined (using).
  • Plays well with operator overload
  • Can be used for branding (you can design your code and put a namespace over it without much though)

Cons:

  • everything is public
  • private things need unnamed namespace so it is not explicit
  • ADL (yes, some people despise ADL)
  • can be extended (this can be a bad thing, specially in combination with ADL, semantics of existing code can change by extending the namespace)
  • functions need to be defined (or declared) in order of use

Classes with static methods

Pros:

  • can have private components (function, variables) and they are explicitly marked.
  • classes can be friended
  • can be type-parametrized (templates)
  • can be template parameters themselves
  • can be instantiated
  • can be passed to functions (static functions behave like non-static method by default).
  • it is easier to find patterns and go from groups of independent functions and convert them to a proper class (eventually with non static members)
  • dependencies among classes is well defined
  • functions (the static method) can be defined in any order

Cons:

  • No ADL
  • cannot be extended
  • needs the keyword static everywhere (opportunity to make fun of the language)
  • an overkill to solve the naming problem alone. Difficult to read in that case.
  • the functions (static methods) always need qualification (myclassspace::fun). There is no way to declare shortcuts (using).
  • almost useless for operator overload, needs complicated friend mechanism for that.
  • can not be used for branding.
  • you need to remember end it with ; :)

In summary, classes with static methods are better units of code and allow more meta programming, and except for ADL and some syntactic quirks, can replicate all the features of namespaces, but they can be an overkill sometimes.

Companies, such as Bloomberg, prefer classes over namespaces. If you don’t like ADL or operator overload, classes with static methods is the way to go.

IMO, it would be nice if namespace and classes are integrated to become two sides of the same coin. For example identify a namespace in the language as a class were the methods are static by default. And then be able to use them as template parameters. I wouldn't be sure what to do with ADL (may be it could be restricted to symbolic operators functions alone, e.g. operatorX, which was the original motivation for operator overload and ADL in the first place)

Comments

4

I would prefer namespaces, that way you can have private data in an anonymous namespace in the implementation file (so it doesn't have to show up in the header at all as opposed to private members). Another benefit is that by using your namespace the clients of the methods can opt out of specifying MyMath::

1 Comment

You can have private data in an anonymous namespace in the implementation file with classes, too. Not sure I follow your logic.
3

Why would I choose one over the other as a means of organizing my software?

If you use namespaces, you will frequently hit a language defect that functions which call each other must be listed in a specific order, because C++ can't see definitions further down in the file.

If you use classes, this defect does not occur.

It can be easier and cleaner to wrap implementation functions in a class than to maintain declarations for them all or put them in an unnatural order to make it compile.

Comments

2

One more reason to use class - Option to make use of access specifiers. You can then possibly break your public static method into smaller private methods. Public method can call multiple private methods.

5 Comments

The access modifiers are cool, but even the most private method is more accessible than a method whose prototype is not published at all in a header (and thus, remains invisible). I'm not even mentioning the better encapsulation offered by anonymously namespaced functions.
Private methods are, IMO, inferior to hiding the function itself in the implementation (cpp file) and never exposing it in the header file. Please elaborate on this in your answer and why you would prefer to use private members. Until then -1.
@nonsensickle Perhaps he means that a mammoth function with many repeated sections can be broken down safely while hiding the offending subsections behind private, stopping others from getting at them if they are dangerous/need very careful usage.
@Troyseph even so, you can hide this information inside an unnamed namespace in the .cpp file which would make it private to that translation unit without giving any superfluous information to anyone reading the header file. Effectively, I'm trying to advocate for the PIMPL idiom.
You can't put it in a .cpp file if you want to use templates.
1

Both namespace and class method have their uses. Namespace have the ability to be spread across files however that is a weakness if you need to enforce all related code to go in one file. As mentioned above class also allows you to create private static members in the class. You can have it in the anonymous namespace of the implementation file however it is still a bigger scope than having them inside the class.

1 Comment

"[storing things] in the anonymous namespace of the implementation file [is] a bigger scope than having them inside the class" - no, it is not. in cases where privileged access to members is not required, anonymously namespaced stuff is more private than private: ones. and in many cases where privileged access seems to be required, that can be factored out. the most 'private' function is one that doesn't appear in a header. private: methods can never enjoy this benefit.
0

If you are building a header only library, you wont have an implementation so anonymous namespaces dont work. In such a case you might want to define a class which exposes a static public function and you make your logic which you dont want to be exposed private. I.e.

namespace mylib {

class utils {
  static int bar() { return 42; }
 public:
  static int foo() {
    return bar();
  }
}

}

Comments

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.