我试图在编译时根据一个类型是否在给定范围内公开可用来选择要使用的类型。最好直接看代码:
#include <iostream>
#include <type_traits>
class Logger
{
std::string _p;
public:
Logger(std::string p): _p(p)
{ }
void say(std::string message)
{ std::cout << _p << ' ' << message << std::endl; }
};
struct Log
{
static Logger& log()
{
static Logger _def("Default: ");
return _def;
}
};
// 1.
template <typename P>
struct use_logger
{
static std::size_t test(P*);
static char test(...);
static const bool value = sizeof(test(reinterpret_cast<P*>(0))) == sizeof(std::size_t);
};
class A
{
struct Log
{
static Logger& log()
{
static Logger _def("A: ");
return _def;
}
};
public:
void say()
{
std::cout << "A: " << use_logger<Log>::value << std::endl;
std::conditional<use_logger<Log>::value, Log, ::Log>::type::log().say("From A");
}
};
class B
{
public:
void say()
{
std::cout << "B: " << use_logger<Log>::value << std::endl;
std::conditional<use_logger<Log>::value, Log, ::Log>::type::log().say("From B");
}
};
class C : A
{
public:
void say()
{
std::cout << "C: " << use_logger<Log>::value << std::endl;
//2.
std::conditional<use_logger<Log>::value, Log, ::Log>::type::log().say("From C");
// Log::log().say("From C");
}
};
class D : public A
{
public:
void say()
{
// 2.
std::cout << "D: " << use_logger<Log>::value << std::endl;
std::conditional<use_logger<Log>::value, Log, ::Log>::type::log().say("From D");
// Log::log().say("From C");
}
};
int main(void)
{
{
A i;
i.say();
}
{
B i;
i.say();
}
{
C i;
i.say();
}
{
D i;
i.say();
}
}
我的意图是 in A
,有一个类型Log
,所以应该使用而不是 global ::Log
,并且在B
没有的地方,它应该使用 global ::Log
。现在这两个工作都不管1.
(我不正确的测试,看看该类型在这个范围内是否是私有的..)
问题出在C
and中D
,通常 - 没有测试,Log::log()
失败,因为它是私有的A
。但是,如果std::conditional<>
使用了,则没有编译错误,并且输出不正确,因为它带有前缀A:
。那么,我错过了什么(除了不正确的测试 - 我需要以某种方式修复......)?如果没有,那么这种暴露私有类型的A
方法是std::conditional
合法的吗?
编辑:为了理智,我测试了以下内容:
std::conditional<false, Log, ::Log>::type::log("From C");
std::conditional<false, Log, ::Log>::type::log("From D");
它确实使用了 global ::Log
,如果它是真的,它以某种方式使用 private A::Log
。
EDIT2:事实上,这似乎是一个更一般的条件,即您可以通过模板间接访问一些内部私有类型,例如:
class F
{
struct Foo
{
void bar() { }
};
};
template <typename T>
struct ExposeInternal
{
typedef T type;
};
int main(void)
{
{
// We've got Foo!
ExposeInternal<F::Foo>::type t;
t.bar();
}
{
// Below fails
F::Foo t;
t.bar();
}
}
编辑 3:好的 - 已经确认,这是一个报告的 GCC 错误,与 无关std::conditional
,尚未在 4.7 或 4.8 中修复。http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47346
我将暂时保留这个问题..稍后将用上述内容关闭它。