[boost] [serialization] compile-time detection that object is not serializable (was: RE: Is there interest in portable integer overflow...)

Subject: [boost] [serialization] compile-time detection that object is not serializable (was: RE: Is there interest in portable integer overflow...)
From: Nelson, Erik - 2 (erik.l.nelson_at_[hidden])
Date: 2012-02-22 12:48:48

Ben Robinson wrote:
> It would appear there is interest in this library.  Therefore, I am
> making the full source available on GitHub here:
>
> https://github.com/cppmaven/VerifiedInt
>
> In addition, you will notice that some of the hundreds of unit tests
> make use of the metaassert.hpp capability.  The VerifiedInt library
> contains a number of static assertions.  MetaAssert allows me to write
> unit tests, which will pass only if the static assertion fails instead
> of passing.  The trick is to convert what would be a compiler error
> into a runtime exception, and then detect the exception in the unit
> test.

It's not immediately apparent to me how MetaAssert works, but it seems like if it's trapping a compiler error then it might be useful for detecting whether or not serialization will compile for a type.

Erik

----------------------------------------------------------------------
This message w/attachments (message) is intended solely for the use of the intended recipient(s) and may contain information that is privileged, confidential or proprietary. If you are not an intended recipient, please notify the sender, and then please delete and destroy all copies and attachments, and be advised that any review or dissemination of, or the taking of any action in reliance on, the information contained in or attached to this message is prohibited. 
Unless specifically indicated, this message is not an offer to sell or a solicitation of any investment products or other financial product or service, an official confirmation of any transaction, or an official statement of Sender. Subject to applicable law, Sender may intercept, monitor, review and retain e-communications (EC) traveling through its networks/systems and may produce any such EC to regulators, law enforcement, in litigation and as required by law. 
The laws of the country of each sender/recipient may impact the handling of EC, and EC may be archived, supervised and produced in countries other than the country in which you are located. This message cannot be guaranteed to be secure or free of errors or viruses. 

References to "Sender" are references to any subsidiary of Bank of America Corporation. Securities and Insurance Products: * Are Not FDIC Insured * Are Not Bank Guaranteed * May Lose Value * Are Not a Bank Deposit * Are Not a Condition to Any Banking Service or Activity * Are Not Insured by Any Federal Government Agency. Attachments that are part of this EC may have additional important disclosures and disclaimers, which you should read. This message is subject to terms available at the following link: 
http://www.bankofamerica.com/emaildisclaimer. By messaging with Sender you consent to the foregoing.