clean C++ granular friend equivalent? (Answer: Attorney-Client Idiom)
Solution 1
The Attorney-Client idiom may be what you're looking for. The mechanics are not too different from your member proxy class solution, but this way is more idiomatic.
Solution 2
There is a very simple pattern, which has retro-actively been dubbed PassKey, and which is very easy in C++11:
template <typename T>
class Key { friend T; Key() {} Key(Key const&) {} };
And with that:
class Foo;
class Bar { public: void special(int a, Key<Foo>); };
And the call site, in any Foo
method, looks like:
Bar().special(1, {});
Note: if you are stuck in C++03, skip to the end of the post.
The code is deceptively simple, it embeds a few key points that are worth elaborating.
The crux of the pattern is that:
- calling
Bar::special
requires copying aKey<Foo>
in the context of the caller - only
Foo
can construct or copy aKey<Foo>
It is notable that:
- classes derived from
Foo
cannot construct or copyKey<Foo>
because friendship is not transitive -
Foo
itself cannot hand down aKey<Foo>
for anyone to callBar::special
because calling it requires not just holding on to an instance, but making a copy
Because C++ is C++, there are a few gotchas to avoid:
- the copy constructor has to be user-defined, otherwise it is
public
by default - the default constructor has to be user-defined, otherwise it is
public
by default - the default constructor has to be manually defined, because
= default
would allow aggregate initialization to bypass the manual user-defined default constructor (and thus allow any type to get an instance)
This is subtle enough that, for once, I advise you to copy/paste the above definition of Key
verbatim rather than attempting to reproduce it from memory.
A variation allowing delegation:
class Bar { public: void special(int a, Key<Foo> const&); };
In this variant, anyone having an instance of Key<Foo>
can call Bar::special
, so even though only Foo
can create a Key<Foo>
, it can then disseminate the credentials to trusted lieutenants.
In this variant, to avoid a rogue lieutenant leaking the key, it is possible to delete the copy constructor entirely, which allows tying the key lifetime to a particular lexical scope.
And in C++03?
Well, the idea is similar, except that friend T;
is not a thing, so one has to create a new key type for each holder:
class KeyFoo { friend class Foo; KeyFoo () {} KeyFoo (KeyFoo const&) {} };
class Bar { public: void special(int a, KeyFoo); };
The pattern is repetitive enough that it might be worth a macro to avoid typos.
Aggregate initialization is not an issue, but then again the = default
syntax is not available either.
Special thanks to people who helped improving this answer over the years:
-
Luc Touraille, for pointing to me in the comments that
class KeyFoo: boost::noncopyable { friend class Foo; KeyFoo() {} };
completely disables the copy constructor and thus only works in the delegation variant (preventing storing instance). -
K-ballo, for pointing out how C++11 improved the situation with
friend T;
Solution 3
You can use a pattern described in Jeff Aldger's book 'C++ for real programmers'. It has no special name but there it is referred as 'gemstones and facets'. The basic idea is as following: among your main class that contains all the logic, you define several interfaces (not real interfaces, just like them) that implements sub-parts of that logic. Each of those interface (facet in terms of book) provides access to some of logic of main class (gemstone). Also, each facet holds the pointer to gemstone instance.
What does this mean for you?
- You can use any facet everywhere instead of gemstone.
- Users of facets doesn't have to know about gemstone structure, as in could be forward-declared and used through PIMPL-pattern.
- Other classes can refer to facet rather to gemstone - this is the answer to your question about how to expose limited nubmer of methods to specified class.
Hope this helps. If you want, I could post code samples here to illustrate this pattern more clearly.
EDIT: Here's the code:
class Foo1; // This is all the client knows about Foo1
class PFoo1 {
private:
Foo1* foo;
public:
PFoo1();
PFoo1(const PFoo1& pf);
~PFoo();
PFoo1& operator=(const PFoo1& pf);
void DoSomething();
void DoSomethingElse();
};
class Foo1 {
friend class PFoo1;
protected:
Foo1();
public:
void DoSomething();
void DoSomethingElse();
};
PFoo1::PFoo1() : foo(new Foo1)
{}
PFoo1::PFoo(const PFoo1& pf) : foo(new Foo1(*(pf
{}
PFoo1::~PFoo()
{
delete foo;
}
PFoo1& PFoo1::operator=(const PFoo1& pf)
{
if (this != &pf) {
delete foo;
foo = new Foo1(*(pf.foo));
}
return *this;
}
void PFoo1::DoSomething()
{
foo->DoSomething();
}
void PFoo1::DoSomethingElse()
{
foo->DoSomethingElse();
}
Foo1::Foo1()
{
}
void Foo1::DoSomething()
{
cout << “Foo::DoSomething()” << endl;
}
void Foo1::DoSomethingElse()
{
cout << “Foo::DoSomethingElse()” << endl;
}
EDIT2: Your class Foo1 could be more complex, for example, it contains two another methods:
void Foo1::DoAnotherThing()
{
cout << “Foo::DoAnotherThing()” << endl;
}
void Foo1::AndYetAnother()
{
cout << “Foo::AndYetAnother()” << endl;
}
And they're accessible via class PFoo2
class PFoo2 {
private:
Foo1* foo;
public:
PFoo2();
PFoo2(const PFoo1& pf);
~PFoo();
PFoo2& operator=(const PFoo2& pf);
void DoAnotherThing();
void AndYetAnother();
};
void PFoo1::DoAnotherThing()
{
foo->DoAnotherThing();
}
void PFoo1::AndYetAnother()
{
foo->AndYetAnother();
}
Those methods are not in PFoo1
class, so you cannot access them through it. In this way you can split the behavior of Foo1
to two (or more) facets PFoo1 and PFoo2. Those facets classes could be used in different places, and their caller shoudn't be aware of Foo1 implementation. Maybe it's not what you really want, but what you want is impossible for C++, and this is a work-aroud, but maybe too verbose...
Solution 4
I know this is an old question, but the problem is still relevant. While I like the idea of the Attorney-Client idiom, I wanted a transparent interface for client classes that had been granted private (or protected) access.
I imagine something similar to this has been done already, but a cursory look around didn't turn up anything. The following method (C++11 up) works on a per class (not per object) basis and uses a CRTP base class that is used by the 'private class' to expose a public functor. Only those classes that have specifically been given access can call the functor's operator(), which then directly invokes the associated private method via a stored reference.
There is no function call overhead and the only memory overhead is one reference per private method that requires exposure. The system is very versatile; any function signature and return type is permitted as is calling virtual functions in the private class.
For me, the main benefit is one of syntax. While an admittedly rather ugly declaration of the functor objects is required in the private class, this is completely transparent to the client classes. Here is an example taken from the original question:
struct Doctor; struct Judge; struct TaxMan; struct TheState;
struct Medicine {} meds;
class Person : private GranularPrivacy<Person>
{
private:
int32_t money_;
void _takePill (Medicine *meds) {std::cout << "yum..."<<std::endl;}
std::string _tellTruth () {return "will do";}
int32_t _payDollars (uint32_t amount) {money_ -= amount; return money_;}
public:
Person () : takePill (*this), tellTruth (*this), payDollars(*this) {}
Signature <void, Medicine *>
::Function <&Person::_takePill>
::Allow <Doctor, TheState> takePill;
Signature <std::string>
::Function <&Person::_tellTruth>
::Allow <Judge, TheState> tellTruth;
Signature <int32_t, uint32_t>
::Function <&Person::_payDollars>
::Allow <TaxMan, TheState> payDollars;
};
struct Doctor
{
Doctor (Person &patient)
{
patient.takePill(&meds);
// std::cout << patient.tellTruth(); //Not allowed
}
};
struct Judge
{
Judge (Person &defendant)
{
// defendant.payDollars (20); //Not allowed
std::cout << defendant.tellTruth() <<std::endl;
}
};
struct TheState
{
TheState (Person &citizen) //Can access everything!
{
citizen.takePill(&meds);
std::cout << citizen.tellTruth()<<std::endl;
citizen.payDollars(50000);
};
};
The GranularPrivacy base class works by defining 3 nested template classes. The first of these, 'Signature', takes the function return type and function signature as template parameters, and forwards these to both the functor's operator() method and the the second nest template class, 'Function'. This is parametrized by a pointer to a private member function of the Host class, which must have the signature provided by the Signature class. In practice, two separate 'Function' classes are used; the one given here, and another for const functions, omitted for brevity.
Finally the Allow class recursively inherits from a explicitly instantiated base class using the variadic template mechanism, depending on the number of classes specified in it's template argument list. Each inheritance level of Allow has one friend from the template list, and the using statements bring the base class constructor and operator () up the inheritance hierarchy into the most derived scope.
template <class Host> class GranularPrivacy
{
friend Host;
template <typename ReturnType, typename ...Args> class Signature
{
friend Host;
typedef ReturnType (Host::*FunctionPtr) (Args... args);
template <FunctionPtr function> class Function
{
friend Host;
template <class ...Friends> class Allow
{
Host &host_;
protected:
Allow (Host &host) : host_ (host) {}
ReturnType operator () (Args... args) {return (host_.*function)(args...);}
};
template <class Friend, class ...Friends>
class Allow <Friend, Friends...> : public Allow <Friends...>
{
friend Friend;
friend Host;
protected:
using Allow <Friends...>::Allow;
using Allow <Friends...>::operator ();
};
};
};
};
I hope somebody finds this useful, any comments or suggestions would be most welcome. This is definitely still work in progress - I would particularly like to merge the Signature and Function classes into just one template class, but have been struggling to find a way to do this. More complete, runnable examples can be found at cpp.sh/6ev45 and cpp.sh/2rtrj.
Jeff
Updated on June 02, 2022Comments
-
Jeff about 2 years
Why does C++ have
public
members that anyone can call andfriend
declarations that expose allprivate
members to given foreign classes or methods but offer no syntax to expose particular members to given callers?I want to express interfaces with some routines to be invoked only by known callers without having to give those callers complete access to all privates, which feels like a reasonable thing to want. The best I could come up with myself (below) and suggestions by others so far revolve around idioms/pattern of varying indirectness, where I really just want a way to have single, simple class definitions that explicitly indicate what callers (more granularly than me, my children, or absolutely anybody) can access which members. What is the best way to express the concept below?
// Can I grant Y::usesX(...) selective X::restricted(...) access more cleanly? void Y::usesX(int n, X *x, int m) { X::AttorneyY::restricted(*x, n); } struct X { class AttorneyY; // Proxies restricted state to part or all of Y. private: void restricted(int); // Something preferably selectively available. friend class AttorneyY; // Give trusted member class private access. int personal_; // Truly private state ... }; // Single abstract permission. Can add more friends or forwards. class X::AttorneyY { friend void Y::usesX(int, X *, int); inline static void restricted(X &x, int n) { x.restricted(n); } };
I'm nowhere near being a software organization guru, but it feels like interface simplicity and the principle of least privilege are directly at odds in this aspect of the language. A clearer example for my desire might be a
Person
class with declared methods liketakePill(Medicine *)
tellTheTruth()
andforfeitDollars(unsigned int)
that onlyPhysician
,Judge
, orTaxMan
instances/member methods, respectively, should even consider invoking. Needing one-time proxy or interface classes for each major interface aspect sits ill with me, but please speak up if you know I'm missing something.Answer accepted from Drew Hall: Dr Dobbs - Friendship and the Attorney-Client Idiom
The code above originally called the wrapper class 'Proxy' instead of 'Attorney' and used pointers instead of references but was otherwise equivalent to what Drew found, which I then deemed the best generally known solution. (Not to pat myself on the back too hard...) I also changed the signature of 'restricted' to demonstrate parameter forwarding. The overall cost of this idiom is one class and one friend declaration per permission set, one friend declaration per set approved caller, and one forwarding wrapper per exposed method per permission set. Most of the better discussion below revolves around the forwarding call boilerplate that a very similar 'Key' idiom avoids at the expense of less direct protection.
-
Shirik almost 14 yearsThe use of friendship does not imply that a design is flawed. An inappropriate use of friendship does, but from the context of this question we cannot infer that. People fear friendship because, as they claim, it violates encapsulation. Instead, when used properly, it actually benefits encapsulation. [Ref Stroustrup]
-
Staffan almost 14 yearsShirik: Hence "might suggest"
-
Shirik almost 14 yearsThe statement "might suggest" is entirely based on the predicate "the use of friendship exists". This correlation should not exist.
-
Jeff almost 14 yearsWhat I'm after is not really about data hiding but about granting high-level routine access to trusted interfaces. There is absolutely no need to use friend here, but I would strongly prefer to be able to control in as flat a manner as possible what can be externally accessed.
-
Jeff almost 14 yearsThanks for the post, but I'm not sure I'm clear on this pattern's purpose. It seems like vanilla pImpl-style implementation hiding, where I just want a flat but selective interface description. Could you expound a bit on its nuances?
-
Jeff almost 14 yearsI know of this by name only, and what I've glanced at so far looks very promising. This may be what I'm looking for. Thanks!
-
josesuero almost 14 yearsI have to wonder why you're passing the FooKey by reference. ;) Seems an odd thing to do with an empty, unused object. Other than that, I like the idea, and I've done the same before on an ad-hoc basis, but this is the first time I really consider it as a general pattern. +1
-
Jeff almost 14 yearsOK everybody, this is almost verbatim what I reinvented, and I think that the link deserves a read. The difference is that in the published form, the helper class is called XAttourney as opposed to X::Proxy2, and the wrapped calls use references instead of pointers. I'm going to split the difference, making members called X::YAttourney that use static calls on references. Since this is about as well researched and canonical an answer as I'm going to get for 'how', I'm accepting this and will split 'why is friend itself all or nothing' into a new question later.
-
Jeff almost 14 yearsI'm trying to make Foo's interface itself show and enforce self-restricting behavior, but it seems as though this technique just hopes that a 'FooKey &' won't get passed to some calling method not trusted to be competent, non-malicious, and sufficiently justified in making restricted calls. Is there some advantage in this style over the Attourney-Client idiom linked to above?
-
Georg Fritzsche almost 14 years@Jeff: Note that
FooKey
can only be constructed (and thus passed to the method) by its friends due to its constructor being private. Compared to the Attorney idiom / proxying its much more concise. -
Georg Fritzsche almost 14 yearsI opened a question regarding the naming of this pattern.
-
Jeff almost 14 years@Georg: It's definitely more concise, but that seems mitigated somewhat by needing to add extra parameters to restricted methods and quite possibly to explicitly prohibit FooKey copying, etc.. Passing nominally empty classes or references to them also seems to require some trivial amount of overhead, while the static attorney approach seems that it could be fully streamlined out at compilation.
-
Jeff almost 14 years@Matthieu: I think that the attorney approach is what I really want, but this is definitely a very good solution as well. Thanks for the input, +1 vote.
-
Georg Fritzsche almost 14 years@Jeff: I'd say every decent compiler should optimize empty classes away for pass-by-value where you don't start to take its address or similar. But i agree that i downplayed the intrusiveness somewhat.
-
Georg Fritzsche almost 14 yearsMatthieu, we got two new questions if you're interested: naming and improving re-usability.
-
Geekoder about 12 yearsAre you sure your solution using
boost::noncopyable
works correctly? To pass the key by value,Foo
needs to have access to the copy constructor ofFooKey
, which cannot be compiled since it needs access to the one ofboost::noncopyable
. In think that to make this work, you need to dropnoncopyable
and simply make the copy constructor private (after all, the class is not really noncopyable, copying it is just restricted to friends). -
Matthieu M. about 12 years@LucTouraille: I would say "works on my machine", but we all know how much this is worth...
-
Geekoder about 12 yearsHum, this is weird, AFAIK there is no way for
FooKey
to be copied: it cannot accessnoncopyable
constructor since it is private, and the friend declaration does not give any additional access toFoo
(it only gives access to the names accessible inFooKey
). Does this code compiles without errors on your machine? -
Matthieu M. about 12 years@LucTouraille: The edit is dated from 2 years ago. I hoped it did compile back then, but I won't bet anything on it, and I do not have the compiler I used then (sorry). If it may reassure you, I do find it fishy too. I suppose redeclaring the copy constructor as private would do the trick better ? (it does seem to: ideone.com/GOb1w)
-
Geekoder about 12 yearsYes, I think the private constructor is more correct. I'm sorry that I bumped this old answer of yours, but if you wanted it to stay buried, you should not have linked it in your profile :)!
-
Matthieu M. about 12 years@LucTouraille: No problem, I am just surprised the issue went unnoticed for 2 years!
-
Jonathan Seng about 11 yearsI would call this the Attorney-Client-Key Idiom as it is only a syntactic variation -- you trade inlined function calls for zero-length method parameters. GCC -O3 compiled an example with two inlined functions vs. the keys to the same size (did not disassemble and compare) as you would expect. The difference was that I used the key-version twice in the code to fix a bug I didn't want to take the time to fix in the full Attorney-Client Idiom.
-
Yakk - Adam Nevraumont almost 10 yearsAnd don't forget the awesome invocation syntax:
Bar b; b.special( 3, {} );
We could also dostatic struct unlock_request_t {} use_key; template<class T> class only_allow { friend class T; only_allow(unlock) {}; only_allow(only_allow const&)=delete; }
, which changes the access pattern toBar b; b.special( 3, use_key );
;) -
t.y almost 6 yearsI like this approach as it preserves the function call, unlike keypass or attorney-client. Additionally, I imagine it's possible to give this some sane compile errors with
static_assert
and the like. However, for the life of me I can't get this to compile on my environment, VS2017 C++17. The latter link (cpp.sh/2rtrj) spits out a bunch of compile errors. After a couple of minor changes (see cpp.sh/9d55s) I get something legible: -
t.y almost 6 years
'GranularPrivacy<Person>::Signature<void,Medicine *>::Function<void Person::_takePill(Medicine *)>::Allow<Doctor,TheState>::operator ()': cannot access protected member declared in class 'GranularPrivacy<Person>::Signature<void,Medicine *>::Function<void Person::_takePill(Medicine *)>::Allow<Doctor,TheState>'
. Actually, all theTheState
calls fail for me, with VS telling me thatfunction GranularPrivacy<Host>:: ... ::Allow<Friends>::operator() [with Host=Person, ...., Friends=<>]" is inaccesible
. Do you have any insight into these errors? -
Blood-HaZaRd over 5 yearsDoes this solution may work for this question : stackoverflow.com/questions/53172759/…
-
Jarod42 over 3 yearsSad, we don't have variadic friend.
-
Pablo H almost 3 years"Funny" that rules for aggregate initialization, in relation with constructors, have changed with different C++ versions. I think that
=default
works in some versions and fails in others. I think that as written works portably in all versions. Perhaps=default
(or=delete
) can be used for the copy-constructor? -
Matthieu M. almost 3 years@PabloH: Yes, the exact effects of
= default
for constructors have changed, though I do not remember which version tightened it. I'm not sure about copy constructors.