318
votes

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?

8
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 $.02Rom
@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.paercebal
@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 existsRom
@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.paercebal

8 Answers

262
votes

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' internals, whereas static methods have.

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.

59
votes

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).

18
votes
  • 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.

12
votes

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.

4
votes

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::

2
votes

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)

0
votes

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.

0
votes

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.