Ensure ErrorOr cannot implicitly invoke explicit ctors of the underlying type.
authorDavid Blaikie <dblaikie@gmail.com>
Wed, 3 Sep 2014 17:31:25 +0000 (17:31 +0000)
committerDavid Blaikie <dblaikie@gmail.com>
Wed, 3 Sep 2014 17:31:25 +0000 (17:31 +0000)
commit38a4f3bbec129553e4fd91ad3a69e9bbbbfa1ddf
tree620dac2689abc3722603d20e871e0f00ebe22e7e
parentc3591934867cbf6992c5a1b9ebce75c60c1a28ab
Ensure ErrorOr cannot implicitly invoke explicit ctors of the underlying type.

An unpleasant surprise while migrating unique_ptrs (see changes in
lib/Object): ErrorOr<int*> was implicitly convertible to
ErrorOr<std::unique_ptr<int>>.

Keep the explicit conversions otherwise it's a pain to convert
ErrorOr<int*> to ErrorOr<std::unique_ptr<int>>.

I'm not sure if there should be more SFINAE on those explicit ctors (I
could check if !is_convertible && is_constructible, but since the ctor
has to be called explicitly I don't think there's any need to disable
them when !is_constructible - they'll just fail anyway. It's the
converting ctors that can create interesting ambiguities without proper
SFINAE). I had to SFINAE the explicit ones because otherwise they'd be
ambiguous with the implicit ones in an explicit context, so far as I
could tell.

The converting assignment operators seemed unnecessary (and similarly
buggy/dangerous) - just rely on the converting ctors to convert to the
right type for assignment instead.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@217048 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Support/ErrorOr.h
lib/Object/Binary.cpp
lib/Object/SymbolicFile.cpp
unittests/Support/ErrorOrTest.cpp