| // checking for explicit member specialization |
| |
| /*************************************************************************** |
| * |
| * Licensed to the Apache Software Foundation (ASF) under one or more |
| * contributor license agreements. See the NOTICE file distributed |
| * with this work for additional information regarding copyright |
| * ownership. The ASF licenses this file to you under the Apache |
| * License, Version 2.0 (the License); you may not use this file |
| * except in compliance with the License. You may obtain a copy of |
| * the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or |
| * implied. See the License for the specific language governing |
| * permissions and limitations under the License. |
| * |
| * Copyright 1999-2007 Rogue Wave Software, Inc. |
| * |
| **************************************************************************/ |
| |
| struct A |
| { |
| int i_; |
| |
| // no default ctor declared to exercise the compiler's ability |
| // distinguish between a declaration of an explicir member |
| // specialization and a definition of the same (see below) |
| A (int i): i_ (i) { } |
| }; |
| |
| template <class T> |
| struct B { |
| |
| int foo () { return a.i_; } |
| int bar (); |
| |
| static A a; |
| }; |
| |
| // declare explicit specialization of template members |
| template <> inline int B<int>::foo (); |
| template <> int B<int>::bar (); |
| |
| // make sure this is taken as a declaration and not a definition |
| // as, for example, with SunPro 5.5 (see bug #411) |
| template <> A B<int>::a; |
| |
| // define explicit specialization of template members |
| template <> inline int B<int>::foo () { return 1; } |
| template <> int B<int>::bar () { return 1; } |
| template <> A B<int>::a (1); |
| |
| // define members of the primary template |
| template <class T> int B<T>::bar () { return foo (); } |
| template <class T> A B<T>::a (0); |
| |
| int main () |
| { |
| B<char> bc; |
| bc.foo (); |
| bc.bar (); |
| |
| B<int> bi; |
| |
| int status = 0; |
| |
| if (1 != bi.foo ()) |
| status |= 1; |
| |
| if (1 != bi.bar ()) |
| status |= 2; |
| |
| if (1 != bi.a.i_) |
| status |= 4; |
| |
| return status; |
| } |