Flyweight Design Pattern in Modern C++
Vishal Chovatiya
Posted on September 21, 2020
Flyweight Design Pattern is a Structural Design Pattern that concerned with space optimization. It is a technique to minimizes memory footprint by sharing or avoiding redundancy as much as possible with other similar objects. Flyweight Design Pattern in Modern C++ is often used in a situation where object count is higher which uses an unacceptable amount of memory. Often some parts of these objects can be shared & kept in common data structures that can be used by multiple objects.
/!\: This article has been originally published on my blog. If you are interested in receiving my latest articles, please sign up to my newsletter.
If you haven't check out my other articles on Structural Design Patterns, then here is the list:
The code snippets you see throughout this series of articles are simplified not sophisticated. So you often see me not using keywords like override
, final
, public
(while inheritance) just to make code compact & consumable(most of the time) in single standard screen size. I also prefer struct
instead of class
just to save line by not writing "public:
" sometimes and also miss virtual destructor, constructor, copy constructor, prefix std::
, deleting dynamic memory, intentionally. I also consider myself a pragmatic person who wants to convey an idea in the simplest way possible rather than the standard way or using Jargons.
Note:
- If you stumbled here directly, then I would suggest you go through What is design pattern? first, even if it is trivial. I believe it will encourage you to explore more on this topic.
- All of this code you encounter in this series of articles are compiled using C++20(though I have used Modern C++ features up to C++17 in most cases). So if you don't have access to the latest compiler you can use https://wandbox.org/ which has preinstalled boost library as well.
Intent
To avoid redundancy when storing data.
- Flyway Design Pattern is quite simply a space optimization technique. That allows you to use less memory by storing some of the common data to several items or several objects.
- We store it externally and simply refer(by reference, pointer or any other mechanism) to it when we actually need it.
Flyweight Design Pattern Example in C++
- Well, the one thing that we want to do if we're storing lots of data is to avoid any redundancy. It's like compression in images or films if you have the same block repeating over and over again. You probably want to actually avoid having that block take up memory. But instead, you just write it and say how many times it repeats.
- For example, let say you are designing a game. You're going to have lots of users with identical first and/or last names. You are going to have lots of people called
John Smith
. But you're also going to have lots of people calledJohn
and lots of people whose last name isSmith
. - And there are no point in actually storing the same first & last name combinations over & over again. Because you are simply wasting memory. So what you would do instead is you would store a list of names somewhere else. And then you would keep the pointers to those names.
// Note: You can try following code at https://wandbox.org/.
#include <boost/bimap.hpp>
struct User {
User(string f, string l) : m_first_name{add(f)}, m_last_name{add(l)} { }
string get_first_name() {return names.left.find(m_first_name)->second;}
string get_last_name() {return names.left.find(m_last_name)->second;}
friend ostream& operator<<(ostream& os, User& obj) {
return os <<
obj.get_first_name() << "(id=" << obj.m_first_name << "), " <<
obj.get_last_name() << "(id=" << obj.m_last_name << ")" ;
}
protected:
using key = uint32_t;
static boost::bimap<key, string> names;
static key seed;
static key add(string s) {
auto it = names.right.find(s);
if (it == names.right.end()) {
names.insert({++seed, s});
return seed;
}
return it->second;
}
key m_first_name, m_last_name;
};
User::key User::seed = 0;
boost::bimap<User::key, string> User::names{};
int main() {
User john_doe {"John","Doe"};
User jane_doe {"Jane","Doe"};
cout << "John Details: " << john_doe << endl;
cout << "Jane Details: " << jane_doe << endl;
return EXIT_SUCCESS;
}
/*
John Details: John(id=1), Doe(id=2)
Jane Details: Jane(id=3), Doe(id=2)
*/
- If you see the essence from above flyweight implementation, it just storing data in the static qualified data structure by taking care of redundancy. So that it can be reusable between multiple objects of the same type.
Implementing Flyweight Design Pattern using Boost
- The Flyweight Design Pattern isn't exactly new. And this approach of caching information is something that people have already packaged into different libraries for you to use.
- So instead of building all these wonderful by maps and whatnot what you can do is just use a library solution.
#include <boost/flyweight.hpp>
struct User {
boost::flyweight<string> m_first_name, m_last_name;
User(string f, string l) : m_first_name(f), m_last_name(l) { }
};
int main() {
User john_doe{ "John", "Doe" };
User jane_doe{ "Jane", "Doe" };
cout<<boolalpha ;
cout<<(&jane_doe.m_first_name.get() == &john_doe.m_first_name.get())<<endl; // False
cout<<(&jane_doe.m_last_name.get() == &john_doe.m_last_name.get())<<endl; // True
return EXIT_SUCCESS;
}
// Try @ https://wandbox.org/.
- As you can see, we are comparing the address of John's last name & Jane's last name in the
main()
function which prints out to be true if you run the above code suggesting that redundancy is perfectly taken cared by boost::flyweight<>.
Benefits of Flyweight Design Pattern
- Facilitates the reuse of many fine-grained objects, making the utilization of large numbers of objects more efficient. -- verbatim GoF.
- Improves data caching for higher response time.
- Data caching intern increases performance due to a lesser number of heavy objects
- Provide a centralized mechanism to control the states/common-attributes objects.
Summary by FAQs
When to use a Flyweight Design Pattern?
-- In need of a large number of objects.
-- When there is a repetitive creation of heavy objects which can be replaced by a few shared objects
Difference between Singleton and Flyweight Design Pattern?
-- In Singleton Design Pattern, you cannot create more than one object. You need to reuse the existing object in all parts of the application.
-- While in Flyweight Design Pattern you can have a large number of similar objects which can share a common single resource.
Drawbacks of Flyweight Design Pattern?
As similar to Singleton Design Pattern, concurrency is also a headache in the Flyweight Design Pattern. Without appropriate measures, if you create Flyweight objects in a concurrent environment, you may end up having multiple instances of the same object which is not desirable.
Posted on September 21, 2020
Join Our Newsletter. No Spam, Only the good stuff.
Sign up to receive the latest update from our blog.