sorry
CMyReturn Foo()
{
if(int)
{
m_iVal = ...
m_eInternType=eIntType;
} else if(...
}
should be
CMyReturn Foo()
{
if(int)
{
m_iVal = ...
m_eInternType==eIntType
} else if(...
}
Main Topics
Browse All Topics
A C++ Question; Is it possible to have a polymorphic function that returns various types, dependent on the derived object type?
I am trying to write some code to cache a database table. The table could have columns containing various basic SQL types, ie int, double, float, string etc.
I was hoping to create a 'cell' object for the table, similar to a spreadsheet cell, that would hold the data.
To be able to hold the cell in an stl container such as map, I need a common base pointer, so I start with an interface class that has the cell's column name, and some abstract functions that the derived type-specific cells will implement.
How can I create a derived cell type, ie IntCell, that has a 'get' type function to return the cells held int value, but which can be called via the base pointer? I need IntCells to return ints, DoubleCells to return double values, etc.
I can't have a get function, pure virtual, in the base class, because the return type will be different for each derived cell class.
I could use a template to derive the cell types, but then how would I call the get function via the base pointer?
In short, I need a class hierarchy that allows me to group and access types from an stl container, and that has a get function that returns the contained type.
I have a work around, to use text as the internal storage type, and have various conversion functions to produce types, but I have been tying myself in knots trying to work out a more efficient way to do this.
Thanks in advance for any help you can give me.
This Question has been solved and asker verified All Experts Exchange premium technology solutions are available to subscription members.
Experts Exchange has been collecting answers to technology questions since 1996…3 million and counting! If you have a question, chances are we already have your answer.
If you can't find the exact answer you're looking for, ask our exclusive community of 50,000 experts. You’ll get a personalized answer from a trusted professional.
Thousands of free tech tips, tricks, how-to’s and tutorials are available in our peer reviewed articles section. See for yourself how smart our experts are, no login required.
Access the answers to your technology questions today.
30-day free trial. Register in 60 seconds.
Members of the expert community talk about why the experience at Experts Exchange is different than what you will find anywhere else.

Try it out and discover for yourself.
30-day free trial. Register in 60 seconds.
Join the community of experts here and help other tech pros by answering question in your area of expertise. You can earn FREE access to all Experts Exchange's premium features and resources.
>> I need IntCells to return ints, DoubleCells to return double values, etc.
There's a problem with your design.
The (abstract) base class should provide the interface that all derived classes have to implement. There is only one such interface, so you'll need to make sure that all implementations follow this one interface.
So, if your get function returns a certain type, then all get implementations will have to return that type. If you need that type to be able to represent different types, then you could use a combination of struct, union and enum, like AndyAinscow hinted on.
But even better would be to modify your design so you don't need to do this. If for example this get function will only be used for showing the cell contents to the user, then you could have it return a string, and each implementation would format that string depending on the cell contents. If for example this get function will be used for performing calculations between cells, then you could provide specific functions to perform these calculations instead (the multiple dispatch pattern comes to mind for example - good use of templates could also do the trick).
@Infinity08, Yep, I kind of suspected the design was not good, if I was coming up against a brick wall like this.
The 'get' function is/was going to be used in an SQL type query. I am effectively caching a database table to make fast queries on it in RAM, so I was hoping to emulate SQL's SELECT functionality by being able to compare int values in the cached table to int values in the code, string values in the table to string values in the code, etc. The aim was for flexibility. I thought about templates for the variant return type, but then I could not figure out how to call the templated function via the base pointer, there being no abstract function for it.
@AndyAinscow, I will try something that is similar to your suggestion too.
I will store the data as one type, and return variant types by named functions. The internal data type will be string (90% of the data will be string data anyway), and in the case of int/double/float data being required, I'll put a conversion method in the class. If the cell object is myCell, to get the int value use myCell.int(), to get the double call myCell.double(). I could use a numeric flag indicator to allow the cell to indicate it's preferred natural type.
I was concerned that I had missed an obvious or tried/tested way of tackling this problem, and it looks like I have not, so working around it looks like a reasonable way to progress. Many thanks for the swift and clear replies.
Business Accounts
Answer for Membership
by: AndyAinscowPosted on 2009-09-16 at 02:22:27ID: 25343488
I don't think you can modify the return type in that way.
;
IntType) ..
You could however return something that encapsulates different internal types such as the variant. (Your code that retrieves vales from the database probably has it as a variant internally.
A 'roll your own' could be (pseudo code)
class CMyReturn
{
public:
int m_iVal;
bool m_bVal;
...
enum InternType....
}
CMyReturn Foo()
{
if(int)
{
m_iVal = ...
m_eInternType==eIntType
} else if(...
}
CMyReturn r = Foo();
if(r.m_eIntenType==e
{
.
}