通用云服务：在无服务器架构中实现类型安全

            
interface User {
  id: string;
  name: string;
  email: string;
  isActive: boolean;
}

            

              
                Copy
              
            
          

            
// lambda.ts
import { APIGatewayProxyEvent, APIGatewayProxyResult } from 'aws-lambda';

interface User {
  id: string;
  name: string;
  email: string;
  isActive: boolean;
}

export const handler = async (event: APIGatewayProxyEvent): Promise<APIGatewayProxyResult> => {
  try {
    const body = JSON.parse(event.body || '{}'); // Safely parse the request body

    // Type checking ensures 'body' matches the expected format
    const user: User = {
      id: body.id, // Errors will be caught at compile time if these properties don't exist, or are of the wrong type.
      name: body.name,
      email: body.email,
      isActive: body.isActive,
    };

    // Perform operations with the 'user' object
    console.log('Received user data:', user);

    return {
      statusCode: 200,
      body: JSON.stringify({ message: 'User data processed successfully.' }),
    };
  } catch (error: any) {
    console.error('Error processing user data:', error);
    return {
      statusCode: 500,
      body: JSON.stringify({ message: 'Internal server error.' }),
    };
  }
};

            

              
                Copy
              
            
          

            
# handler.py
from typing import Dict, Any
import json

def process_data(event: Dict[str, Any], context: Any) -> Dict[str, Any]:
    try:
        body = json.loads(event.get('body', '{}'))
        # Use type hints to describe the expected input from event body.
        name: str = body.get('name', '')
        age: int = body.get('age', 0)

        if not isinstance(name, str) or not isinstance(age, int):
            raise ValueError('Invalid input types.')

        response_body = {
            'message': f'Hello, {name}! You are {age} years old.'
        }

        return {
            'statusCode': 200,
            'body': json.dumps(response_body)
        }
    except ValueError as e:
        return {
            'statusCode': 400,
            'body': json.dumps({'error': str(e)})
        }
    except Exception as e:
        return {
            'statusCode': 500,
            'body': json.dumps({'error': 'Internal Server Error'})
        }

            

              
                Copy
              
            
          

            
[mypy]
strict = True

            

              
                Copy
              
            
          

            
const Joi = require('joi');

const userSchema = Joi.object({
  id: Joi.string().required(),
  name: Joi.string().required(),
  email: Joi.string().email().required(),
  isActive: Joi.boolean().required(),
});

exports.handler = async (event) => {
  try {
    const body = JSON.parse(event.body || '{}');
    const { error, value } = userSchema.validate(body);

    if (error) {
      return {
        statusCode: 400,
        body: JSON.stringify({ message: error.details[0].message }),
      };
    }

    // 'value' now contains the validated and sanitized data
    const user = value;

    console.log('Received user data:', user);

    return {
      statusCode: 200,
      body: JSON.stringify({ message: 'User data processed successfully.' }),
    };
  } catch (error) {
    console.error('Error processing user data:', error);
    return {
      statusCode: 500,
      body: JSON.stringify({ message: 'Internal server error.' }),
    };
  }
};

            

              
                Copy
              
            
          

            
openapi: 3.0.0
info:
  title: User API
  version: 1.0.0
paths:
  /users:
    post:
      summary: Create a user
      requestBody:
        required: true
        content:
          application/json:
            schema:
              $ref: '#/components/schemas/User'
      responses:
        '201':
          description: User created
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/User'
components:
  schemas:
    User:
      type: object
      properties:
        id:
          type: string
        name:
          type: string
        email:
          type: string
          format: email
        isActive:
          type: boolean

            

              
                Copy
              
            
          

            
import { APIGatewayProxyEvent, APIGatewayProxyResult } from 'aws-lambda';
import { User } from './types'; // Import generated types

export const handler = async (event: APIGatewayProxyEvent): Promise<APIGatewayProxyResult> => {
  try {
    const body = JSON.parse(event.body || '{}');

    // TypeScript will ensure the body matches the User schema
    const user: User = body;

    // ... rest of the function logic

            

              
                Copy