这个问题涵盖了C++03，以及如何从类模板中省略一个转换操作符，比如template<typename T> struct Foo { ... };，给定T的traits。

• （底部的问题）*
  背景

理想情况下，我希望使用enable_if构造和SFINAE来排除基于类模板T特性的转换操作符（参见上面的Foo），但默认模板参数不能用于C++03中的函数模板，这（afaik）排除了这种方法;如之前在以下线程中所述：

• enable_if and conversion operator?

相反，我使用的方法是转换操作符返回值的类型取决于T的特性，特别是对于某些T类型，它是一个伪类型（void或一些私有的外部不可访问类型）。特别是（C++03）标准在此上下文中所保证的内容。
考虑下面的例子（我已经尽可能地减少了这个例子），使用上一段描述的方法：

include/util.h：

namespace util {

// dummy predicate: is T int?
template <typename T> struct is_int { static const bool value = false; };
template <> struct is_int<int> { static const bool value = true; };
template <typename T> const bool is_int<T>::value;

// [meta.trans.other]/conditional
template <bool B, class T, class F> struct conditional { typedef T type; };
template <class T, class F> struct conditional<false, T, F> { typedef F type; };

// class template with non-template operator() member
template <typename T> struct Foo {
    explicit Foo(const T &value) : value_(value) {}

    // [Question regarding this conversion operator here]
    operator typename conditional<is_int<T>::value, int, void>::type() const {
        return value_;
  }

private:
  T value_;
};

/* Alternatively */
template <typename T> class Bar {
    struct Dummy {};
    T value_;
public:
    explicit Bar(const T &value) : value_(value) {}
    operator typename conditional<is_int<T>::value, int, Dummy>::type() const {
        return value_;
  }
};

}  // namespace util

main.cc：

#include "include/util.h"

void baz(int) {}

int main()
{
    const util::Foo<int> foo_int(42);
    baz(foo_int); // OK
    const util::Foo<char> foo_char('a');

    const util::Bar<int> bar_int(42);
    baz(bar_int); // OK
    const util::Bar<char> bar_char('a');

    /* OK, expected:
       Error: cannot convert ‘const util::Foo<char>’/‘const util::Bar<char>’
         to ‘int’ for argument ‘1’ to ‘void baz(int)
    baz(foo_char);
    baz(bar_char); */

    return 0;
}

使用gcc和clang（-std=c++03）可以很好地编译，但是我想知道有条件地为转换操作符使用一个无效的主体（/return）是否真的可以，例如Foo<char>的完整示例化。[温度 Jmeter ]/1（14.7.1 in the C++03 standard draft）描述了[强调我的]：
类模板专门化的隐式示例化导致类成员函数**、成员类、静态数据成员和成员模板的声明的隐式示例化，而不是定义或缺省参数的隐式示例化;并且它导致成员匿名联合的定义的隐式示例化。除非类模板的成员 * 或成员模板已经被显式示例化或显式专门化，否则当在要求成员定义存在的上下文中引用该专门化时**，该成员的专门化被隐式示例化 *;

问题

• C++03标准是否保证类模板的条件（T上的trait）无效的非模板成员函数体不是错误，如果它不是从类的示例化引用的，在那里它是/将是无效的？